On Fri, Sep 07, 2012 at 03:54:08PM +0100, Erik Hesselink wrote: > Hmm, apparently I can't add labels. It's issue 1028. I don't think > it's important to fix before migrating, but it would be nice if > someone with privileges could label it. The issue there is mishandling unknown repository types, here "github" instead of "git".