Re: Infrastructure | Please add information about where to find the pull request closing robot and bug report URLs to pull request closing messages (#17)

[Andrea Veri <gitlab-issues gnome org>]

Title: GitLab

Andrea Veri commented:

The following actions were taken on this side:

1. we're now forwarding GitHub MRs over to GitLab (see #86)
2. we now include the pull requests closure bot code URL on the web page we show as authoritative for the GNOME GitHub mirror account (https://wiki.gnome.org/Sysadmin/GitHub)

—
View it on GitLab.
You're receiving this email because of your account on gitlab.gnome.org. If you'd like to receive fewer emails, you can unsubscribe from this thread or adjust your notification settings.