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 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
> 77fca040915bef6c6fd77e43c35d952c684b9d3d
> expected: e3c9169bad42e3154887b60a20bbea8b
>  got: da2689e0e3989a6c2bc5b5449ad570eb
>
> I'll try to resolve this asap (tomorrow evening?).
>
> Simon
>
>
> On Fri, Oct 28, 2016 at 8:32 PM, Wiktor Niesiobedzki  wrote:
>> Hi,
>>
>> It looks like GitHub mirror of OSM is not updated any more. Last
>> update was on 21st of October.
>>
>> What needs to be done to bring this service up?
>>
>> Or shall I just setup my own sync service with my JOSM GitHub mirror?
>>
>>
>> Cheers,
>>
>> Wiktor
>>
>> ___
>> josm-dev mailing list
>> josm-dev@openstreetmap.org
>> https://lists.openstreetmap.org/listinfo/josm-dev

___
josm-dev mailing list
josm-dev@openstreetmap.org
https://lists.openstreetmap.org/listinfo/josm-dev


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
77fca040915bef6c6fd77e43c35d952c684b9d3d
expected: e3c9169bad42e3154887b60a20bbea8b
 got: da2689e0e3989a6c2bc5b5449ad570eb

I'll try to resolve this asap (tomorrow evening?).

Simon


On Fri, Oct 28, 2016 at 8:32 PM, Wiktor Niesiobedzki  wrote:
> Hi,
>
> It looks like GitHub mirror of OSM is not updated any more. Last
> update was on 21st of October.
>
> What needs to be done to bring this service up?
>
> Or shall I just setup my own sync service with my JOSM GitHub mirror?
>
>
> Cheers,
>
> Wiktor
>
> ___
> josm-dev mailing list
> josm-dev@openstreetmap.org
> https://lists.openstreetmap.org/listinfo/josm-dev

___
josm-dev mailing list
josm-dev@openstreetmap.org
https://lists.openstreetmap.org/listinfo/josm-dev