id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
20126	Migrate GitHub mirroring script to josm.openstreetmap.de server	simon04	team	"The script has been running on my PC at [https://github.com/simon04/josm-mirror/commit/7ae591bd9e9408fe9cb684f34ec29df77855bdb8 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."	task	closed	blocker	21.02	Git mirror		fixed	git, github, mirror