Dimitri Tcaciuc, 21.04.2012 21:17:
> On a somewhat relevant node, have you considered enabling Issues page on Github?
It was discussed, but the drawback of having two separate bug trackers is
non-negligible.
Stefan