The GNOME GitHub Mirror

The GNOME Infrastructure is currently managing a mirror of (specifically the GNOME group) on GitHub.

Go to the mirror in GitHub

FAQ for Users

Will pull requests and issues be accepted?

Issues have been disabled already for the entire organization. Pull requests won't be accepted. Instead of creating a "pull request" on GitHub, you must create a "merge request" on the GNOME GitLab instance.

How can I contribute in the case I have a patch handy?

After forking the repository and preparing your patch, you can submit it for review on the GNOME GitLab instance by opening an MR (Merge Request) against the relevant GitLab project, which corresponds to the repository name of the specific GNOME module you are contributing to (i.e

My pull request(s) were automatically closed by the GNOME Infrastructure Automation Bot, what now?

If any of your pull requests were automatically closed by the GNOME Infrastructure Automation Bot, please follow the instructions contained on the comment the Bot automatically generated against the target pull request you created. The expected way to contribute to GNOME is registering an account on GitLab and follow the instructions available on the wiki.

The script responsible for the automatic closure of pull requests can be found here. The script runs daily at midnight. The script was originally announced on the desktop-devel mailing list in November 2016. If you'd like to report any bug on the aforementioned script please do so via our issue tracker.

FAQ for GNOME maintainers

Why my module is not appearing on the mirror?

All the projects living under the GNOME group are expected to be mirrored. If you notice a specific repository is missing that's much likely a bug you should report.

An old or obsolete repository was mirrored, what should I do?

No particular actions are required from your side, as soon as a repository is removed from the GNOME group in GitLab it'll also be removed from the GitHub mirror within 24 hours.

I am interested in contributing to the mirroring tools, where can I find them?

Specific code has been created to make use of the built-in GitLab mirroring and custom attributes features.

Infrastructure/GitHub (last edited 2020-11-04 13:58:06 by AndreaVeri)