id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
9483	GitHub mirror broken	simon04	team	"Due to the changes in `build.xml` in r6540 (and r6545), the mirror on [https://github.com/openstreetmap/josm GitHub] isn't updated any more. This might be due to the ""evil build.xml revision hack"" in the Git commit [https://github.com/openstreetmap/josm/commit/bcbc70ea2e5c51b5d27222fe69c7e963645ca263 bcbc70ea2e5c51b5d27222fe69c7e963645ca263].

I assume, one needs to manually merge the changes …"	defect	closed	normal		unspecified		duplicate		avarab@…