| Summary: | gemini.management not mirrored at github | ||
|---|---|---|---|
| Product: | Community | Reporter: | Glyn Normington <glyn.normington> |
| Component: | Git | Assignee: | Wayne Beaton <wayne.beaton> |
| Status: | RESOLVED NOT_ECLIPSE | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | caniszczyk, denis.roy, eclipse, l.kirchev, mcculls |
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Mac OS X - Carbon (unsup.) | ||
| Whiteboard: | |||
|
Description
Glyn Normington
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. |