Community
Participate
Working Groups
Even though the Gemini Management project metadata ([1]) appears to refer to the project's git repository appropriately ([2]), the repository is not mirrored at github. This would be useful so contributors can fork at github rather than having to set up a new github repository. [1] http://www.eclipse.org/projects/project.php?id=rt.gemini.management [2] http://wiki.eclipse.org/Git/GitHub
Chris and Wayne take the point on these things. -M.
When did you add this repository to the project's metadata? I'm asking because if it's been there a while, then I have some troubleshooting to do.
(In reply to comment #2) > When did you add this repository to the project's metadata? > > I'm asking because if it's been there a while, then I have some troubleshooting > to do. I didn't do it, but asking around, we suspect it's been there for a couple of weeks.
(In reply to comment #3) > I didn't do it, but asking around, we suspect it's been there for a couple of > weeks. So there's probably nothing broken. There have, however, been enough additions over the past couple of weeks to ask the GitHub folks to run the import script.
(In reply to comment #4) > (In reply to comment #3) > > I didn't do it, but asking around, we suspect it's been there for a couple of > > weeks. > > So there's probably nothing broken. There have, however, been enough additions > over the past couple of weeks to ask the GitHub folks to run the import script. Can we ask them to run it under a cron job instead?
(In reply to comment #5) > Can we ask them to run it under a cron job instead? As I understand it, there are technical issues that prevent the process from being initiated totally automatically. Every time I sent an update request, I offer my assistance to make this process easier. So far, the good folks at GitHub have not taken me up on that offer.
Oh well, thanks.
FYI: Github ran the mirror script today: https://github.com/eclipse/gemini.managment
GitHub mirrors are basically broken. We can't fix this.