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