2013/8/15 Michael Catanzaro <mcatanzaro gnome org>Yes, but we've disabled them all. I really fail to see the point of
On Thu, 2013-08-15 at 12:26 +0300, אנטולי קרסנר wrote:
> Hello,
>
> GitHub indeed offers many features that Gnome's git web interface
> doesn't.
GitHub without its killer feature (pull requests); it seems to have no
advantages over our current infrastructure.Again, the point of the mirror is to encourage people that are on GitHub to contribute to the GNOME Project, how? By forking a specific repository and then following the usual procedure for having the patch reviewed and eventually accepted.We are not diverging (and we won't diverge) from our development workflow, I agree with you that leaving pull requests open can take in some confusion and we'll be trying to address that by adding the relevant wiki page [1] on the description of each of the repositories hosted on the mirror so that people are aware of that.In an ideal world we should just disable pull requests completely directly on Github, but that would require extra efforts from the Github's guys that did a lot to help us mirroring our source code.
--
Cheers,
Andrea
Debian Developer,
Fedora / EPEL packager,
GNOME Sysadmin,
GNOME Foundation Membership & Elections Committee Chairman
Homepage: http://www.gnome.org/~av