Map based editing of GeoJSON files on GitHub