Re: Current status of the GNOME Github mirror

[Michael Catanzaro <mcatanzaro gnome org>]

On Tue, 2015-05-05 at 13:44 -0400, Colin Walters wrote:
> I'm certainly cognizant of issues such as github not being FOSS,
> the inconsistency with other projects hosted in GNOME, but
> with the current status quo, if the choice is between "don't use PRs"
> or "don't be in GNOME infra" that's likely going to come down to
> choosing the latter for us.

I think Andrea just didn't realize that some GNOME maintainers do
accept pull requests. The problem is not for modules that do allow
pull requests, but for the ones that don't. I greatly prefer Bugzilla
and only check pull requests roughly once a year, so it's essential
that we give contributors an automated warning when they submit a pull
request that's just going to be ignored. I didn't know CONTRIBUTORS.md
could be used for that; that saves us a lot of trouble, so we don't
have to create a bot that polls our repos to check for pull requests
to close.

The problem is, I think there are very few GNOME modules that do allow
pull requests, so this warning should be opt-out rather than opt-in.
So I think we should add this file to every repo on git.gnome.org
without asking maintainers, so that we cover every repo, and
maintainers can just delete it if they do want to allow pull requests.