Modify

Opened 11 years ago

Closed 11 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 Don-vip, 11 years ago

Component: Tracunspecified
Owner: changed from stoecker to team

Who set up this mirror ?

comment:2 by simon04, 11 years ago

Keywords: bastiK added

Maybe bastiK? I assumed, it is being updated on the JOSM server, isn't it?

comment:3 by stoecker, 11 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 simon04, 11 years ago

Cc: avarab@… 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 avarab@…, 11 years ago

Yeah it was indeed that conflict, I've solved it and the mirror is back up now.

comment:6 by simon04, 11 years ago

Resolution: fixed
Status: newclosed

Thank you a lot!

comment:7 by Don-vip, 11 years ago

Ticket #9735 has been marked as a duplicate of this ticket.

comment:8 by mkoniecz, 11 years ago

Resolution: fixed
Status: closedreopened

comment:9 by mkoniecz, 11 years ago

I reopened, as my ticket was closed as duplicate of this one (mirror is currently not updating).

Last edited 11 years ago by mkoniecz (previous) (diff)

comment:10 by simon04, 11 years ago

Resolution: duplicate
Status: reopenedclosed

Closed as duplicate of #6887.
One GitHub ticket is enough. ;-)

Modify Ticket

Change Properties
Set your email in Preferences
Action
as closed The owner will remain team.
as The resolution will be set.
The resolution will be deleted. Next status will be 'reopened'.

Add Comment


E-mail address and name can be saved in the Preferences .
 
Note: See TracTickets for help on using tickets.