Re: Current status of the GNOME Github mirror

[Michael Catanzaro <mcatanzaro gnome org>]

On Tue, 2015-05-05 at 18:51 +0200, Andrea Veri wrote:
> """The GNOME contributing guidelines do require patches to be
> forwarded to GNOME's Bugzilla instance hosted at
> https://bugzilla.gnome.org, as such please do not open Pull Requests
> (PRs) against any of the modules under the GNOME organization as they
> will be ignored. More information is available at the following wiki
> page:
>
>   https://wiki.gnome.org/Sysadmin/GitHub""";

I propose this slightly-tweaked text:

"""Thanks for your contribution to GNOME. The GNOME contributing
guidelines require patches to be forwarded to GNOME's Bugzilla
instance hosted at https://bugzilla.gnome.org. Pull requests to this
mirror will be ignored. More information is available at the following
wiki page:

    https://wiki.gnome.org/Sysadmin/GitHub""";

* Adds a friendly thank-you at the start
* Avoids the implication that pull requests are unwelcome in all other
GNOME modules (since some maintainers do accept them)
* Fixes the comma splice ;)

Thanks Andrea,

Michael