Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "Git/External Mirrors"
m |
|||
Line 25: | Line 25: | ||
− | [[Category:Git]] | + | [[Category:Git]][[Category:Portal]] |
Revision as of 16:14, 13 August 2012
Eclipse uses GitHub as a source of mirrors.
https://github.com/eclipse
GitHub populates the mirrors from a script that generates a list of repositories from project metadata:
http://eclipse.org/projects/git-repos.php
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 Eclipse Foundation/Community/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)
- */gitroot/*
- http://git.eclipse.org/c/*
(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).
Example:
The script (and other uses of this information at eclipse.org) will normalize the value you provide into an appropriate value.
Teams
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.