On Sat, Dec 01, 2018 at 09:37:17PM +0100, Dagobert Michelsen wrote: > I reconfigured buildbot to listen to the github account and also clone from there > for building. The machine is a bit slow at the moment due to a rebuild from a disk > failure, the builds are running now and you can have a look in probably an hour or so. > Thank you.