Opened 5 years ago
Last modified 5 years ago
#20126 closed task
Migrate GitHub mirroring script to josm.openstreetmap.de server — at Initial Version
| Reported by: | simon04 | Owned by: | team |
|---|---|---|---|
| Priority: | blocker | Milestone: | 21.02 |
| Component: | Git mirror | Version: | |
| Keywords: | git, github, mirror | Cc: |
Description
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.
I don't want to run and maintain this mirroring script any more. I'm happy to share a tarball of everything I have.
Note:
See TracTickets
for help on using tickets.


