Skip to main content

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.

Jump to: navigation, search

Difference between revisions of "Git/External Mirrors"

< Git
(Replaced content with "{{Warning|GitHub automated mirrors of Eclipse projects are essentially broken and are no longer recommended. If you mirror to GitHub, please do so manually.}} [[Category...")
 
(10 intermediate revisions by 2 users not shown)
Line 1: Line 1:
Eclipse uses GitHub as a source of mirrors.
+
{{Warning|GitHub automated mirrors of Eclipse projects are essentially broken and are no longer recommended. If you mirror to GitHub, please do so manually.}}
    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 [http://portal.eclipse.org 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/*
+
* <nowiki>http://git.eclipse.org/c/*</nowiki>
+
 
+
(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:
+
 
+
[[Image:Git-repo-list.png]]
+
 
+
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.
+
 
+
  
 
[[Category:Git]][[Category:Portal]]
 
[[Category:Git]][[Category:Portal]]

Latest revision as of 11:13, 24 October 2013

Warning2.png
GitHub automated mirrors of Eclipse projects are essentially broken and are no longer recommended. If you mirror to GitHub, please do so manually.

Copyright © Eclipse Foundation, Inc. All Rights Reserved.