7 Sep
2012
7 Sep
'12
11:13 a.m.
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".