Andrea Veri commented: The following actions were taken on this side:
1. we're now forwarding GitHub MRs over to GitLab (see https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/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: https://gitlab.gnome.org/Infrastructure/Infrastructure/issues/17#note_431677 You're receiving this email because of your account on gitlab.gnome.org.
_______________________________________________ gnome-infrastructure mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
