Article version: Enterprise Server 2.13

This version of GitHub Enterprise will be discontinued on This version of GitHub Enterprise was discontinued on 2019-03-27. No patch releases will be made, even for critical security issues. For better performance, improved security, and new features, upgrade to the latest version of GitHub Enterprise. For help with the upgrade, contact GitHub Enterprise support.

About GitHub mirrors

Some open-source projects provide mirrors on GitHub.com in addition to their official repositories, which are hosted elsewhere.

Here are a few prominent repositories that are mirrored on GitHub.com:

To set up your own mirror, you can configure a post-receive hook on your official project repository to automatically push commits to a mirror repository on GitHub.com (or GitHub Enterprise).

You can search repositories based on whether they're a mirror. To learn more, see "Searching for repositories."

Ask a human

Can't find what you're looking for?

Contact us