GitHub Mirror

The GNOME GitHub Mirror is an automatically updated copy of the GNOME GitLab group of modules which is maintained on GitHub. It is provided by the GNOME Infrastructure Team, in order to give GitHub users convenient access to GNOME’s source code.

The GNOME GitHub Mirror is not intended as a platform for contributing changes to GNOME’s code.

Pull requests in GitHub

Pull requests are not accepted in GNOME’s GitHub mirror. Instead of creating a pull request in GitHub, changes to GNOME must be made by creating a merge request in GNOME’s GitLab instance, using GNOME’s standard change submission process.

If you do create a pull request in GNOME’s GitHub mirror, it will be automatically closed by the GNOME Infrastructure Automation Bot. The bot will leave a comment against the pull request you created, which explains what to do to make a contribution.

Missing modules

All the projects in the GNOME GitLab group are expected to be mirrored in GitHub. If you notice that a repository is missing from the mirror, please report it as an infrastructure issue.

Old and obsolete repositories

Repositories that have been removed from the GNOME group in GitLab will be automatically removed from the GitHub mirror within 24 hours.