Re: Current status of the GNOME Github mirror

2015-05-06 Thread Milan Crha
On Wed, 2015-05-06 at 09:46 +0100, Emmanuele Bassi wrote: > Indeed. Getting notifications of open pull requests to the > maintainers listed in the DOAP file would also be good, so each > maintainer can decide whether or not to integrate one or just direct. Hi, please do not do this by de

Re: Current status of the GNOME Github mirror

2015-05-06 Thread Emmanuele Bassi
Hi; as much as I agree with Bastien on the subject of pull requests (and I have to use them at work every day), you can avoid the pesky merge button: https://news.ycombinator.com/item?id=9051220 """ GitHub provides a special pulls remote "namespace" on the upstream repo, so you can add it as a f

Re: Current status of the GNOME Github mirror

2015-05-06 Thread Bastien Nocera
On Tue, 2015-05-05 at 18:51 +0200, Andrea Veri wrote: > Hey, > > more than half a year has passed since the GNOME Github mirror was > setup and we are incredibly happy that it has contributed positively > to bring more contributors to the GNOME Project. While new > contributors joined the GNOME co