Opened 5 years ago
Last modified 5 years ago
#20126 closed task
Migrate GitHub mirroring script to josm.openstreetmap.de server — at Version 1
| Reported by: | simon04 | Owned by: | team |
|---|---|---|---|
| Priority: | blocker | Milestone: | 21.02 |
| Component: | Git mirror | Version: | |
| Keywords: | git, github, mirror | Cc: |
Description (last modified by )
The script has been running on my PC at since 2015-04-07. I wouldn't have expected it to be still relevant and in production 5.5 years later.
The mirroring process is mission critical now, #19937.
I don't want to run and maintain this mirroring script any more. It does not belong to a private PC of a contributor. I'm happy to share a tarball of everything I have.
Note:
See TracTickets
for help on using tickets.
