Opened 10 years ago
Closed 10 years ago
#9483 closed defect (duplicate)
GitHub mirror broken
| Reported by: | simon04 | Owned by: | team |
|---|---|---|---|
| Priority: | normal | Milestone: | |
| Component: | unspecified | Version: | |
| Keywords: | Cc: | avarab@… |
Description
Due to the changes in build.xml in r6540 (and r6545), the mirror on GitHub isn't updated any more. This might be due to the "evil build.xml revision hack" in the Git commit bcbc70ea2e5c51b5d27222fe69c7e963645ca263.
I assume, one needs to manually merge the changes …
Attachments (0)
Change History (10)
comment:1 by , 10 years ago
| Component: | Trac → unspecified |
|---|---|
| Owner: | changed from to |
comment:2 by , 10 years ago
| Keywords: | bastiK added |
|---|
Maybe bastiK? I assumed, it is being updated on the JOSM server, isn't it?
comment:3 by , 10 years ago
No. JOSM does not actively use git. We got some requests in the past, but still there is no real good reason other than that certain developers like git more and don't want to see the disadvantages. Someone did setup the git mirror to satisfy these git fans.
comment:4 by , 10 years ago
| Cc: | added |
|---|---|
| Keywords: | bastiK removed |
I investigated: Some time ago when the mirror was also broken, https://github.com/avar fixed it (see archive of no longer accessible https://github.com/openstreetmap/josm/issues/1).
Ævar, maybe you could give us some details how the mirroring is set up. Thank you! :-)
comment:5 by , 10 years ago
Yeah it was indeed that conflict, I've solved it and the mirror is back up now.
comment:8 by , 10 years ago
| Resolution: | fixed |
|---|---|
| Status: | closed → reopened |
comment:9 by , 10 years ago
I reopened, as my ticket was closed as duplicate of this one (mirroring is currently not working).
comment:10 by , 10 years ago
| Resolution: | → duplicate |
|---|---|
| Status: | reopened → closed |
Closed as duplicate of #6887.
One GitHub ticket is enough. ;-)
Who set up this mirror ?