Pressed sent too early. [1] https://wiki.gnome.org/Sysadmin/GitHub
2013/8/15 Andrea Veri <a...@gnome.org> > 2013/8/15 Michael Catanzaro <mcatanz...@gnome.org> > >> >> On Thu, 2013-08-15 at 12:26 +0300, אנטולי קרסנר wrote: >> > Hello, >> > >> > GitHub indeed offers many features that Gnome's git web interface >> > doesn't. >> >> Yes, but we've disabled them all. I really fail to see the point of >> 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 > -- Cheers, Andrea Debian Developer, Fedora / EPEL packager, GNOME Sysadmin, GNOME Foundation Membership & Elections Committee Chairman Homepage: http://www.gnome.org/~av
_______________________________________________ foundation-list mailing list foundation-list@gnome.org https://mail.gnome.org/mailman/listinfo/foundation-list