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.

I don't want to run and maintain this mirroring script any more. I'm happy to share a tarball of everything I have."	task	assigned	normal		Trac				git github mirror