Just a heads up, the repositories are not hosted on git.devuan.org
anymore. Its performance hasn't been on par lately and I'm having issues
using it.

For the time being, heads now lives on github: https://github.com/headslive/

The bugtracker is now also there, and existing issues have also been
migrated.

--
~ parazyd
GPG: 0333 7671 FDE7 5BB6 A85E C91F B876 CB44 FA1B 0274