Eclipse uses GitHub as a source of mirrors.
GitHub populates the mirrors from a script that generates a list of repositories from project metadata:
The script is run manually on a periodic basis. We nudge GitHub every once-in-a-while (monthly or so) to run the script and update the mirrors. If your repository has not been mirrored, open a bug against Communit/Git to ask us to initiate a nudge. Do not expect us to badger the nice folks at GitHub daily or in a piecemeal manner. We won't do it.
The script uses the project metadata as specified in the Developer Portal. The implementation is quite robust; you can specify your project's Git repositories (one per line) in any of the following formats:
- git://egit.eclipse.org/* (EGit project only)
(Note that you'll have to replace the wildcards above with absolute values for each of your project's repositories; do not include wildcard characters in the values you specify).
The script (and other uses of this information at eclipse.org) will normalize the value you provide into an appropriate value.
If you actually want to push and pull into a GitHub repository, we'll need to make a team for your project. Open a bug against Community/Git and we'll help you out. Note that we can set up a GitHub team and can make changes here and there, but we are unable to automatically mirror changes in the project committers at this time.