Github's pull requests warning still point to Bugzilla

[Jonathan Demeyer <jdemeyer hotmail com>]

Hello,

GNOME sets a cronjob that close all the pull requests for each repository on Github (because it's a mirrored repo). The closure message looks like this:

"""
Thank you for contributing to $project_name!

$project_name uses Bugzilla for code review.

If you have never contributed to GNOME before make sure you have read the
getting started documentation:
http://www.gnome.org/get-involved

Otherwise please visit
https://wiki.gnome.org/Newcomers/CodeContributionWorkflow
and follow the instructions there to upload your change to Bugzilla.
"""

Ref: https://mail.gnome.org/archives/desktop-devel-list/2016-November/msg00043.html

GNOME has migrated from Bugzilla to Gitlab in May. The message should be updated. Here is my proposition :

"""

Thank you for your effort contributing to $project_name!

$project_name uses Gitlab for merge/pull requests.

If you have never contributed to GNOME before make sure you have read the

getting started documentation:

http://www.gnome.org/get-involved

Otherwise please visit

https://wiki.gnome.org/Newcomers/CodeContributionWorkflow

and follow the instructions there to upload your change to Gitlab.

"""

Best regards,

Jonathan