Re: Github mirror not updated

2016-11-17 Thread Simon Legner
Hi all, the mirror is up again. See https://josm.openstreetmap.de/ticket/6887#comment:16 for details. Feel free to reopen https://josm.openstreetmap.de/ticket/6887 whenever there are problems with the JOSM GitHub mirror. Simon On Sat, Oct 29, 2016 at 12:40 AM, Simon Legner wrote: > Hi, > > I

Re: Github mirror not updated

2016-10-28 Thread Simon Legner
Hi, I run the mirror. The script is located here: https://github.com/simon04/josm-mirror and see https://josm.openstreetmap.de/ticket/6887 for earlier problems. The cause for the current broken-ness is: $ git svn rebase Checksum mismatch: src/org/openstreetmap/josm/data/coor/EastNorth.java 77fca0