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.
Attachment:
signature.asc
Description: This is a digitally signed message part