This might be harmless if there was a way to disable pull requests, but if we mirror repos on GitHub we have a responsibility to monitor for and accept pull requests, otherwise potential contributors who are unfamiliar with our development flow will be discouraged when their pull requests sit unnoticed.
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.
signature.asc
Description: This is a digitally signed message part
_______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list
