@florpor scraped a more complete map than what we have.
The point of this ticket isn't just to import the map, but to build an automated way of adding a map to the DB - in particular extracting all the Gush IDs, which currently reside both in the DB and in a file on the server.
The result of this should be an "import_map.py" utility, which takes a gushim map (perhaps a URL to that map in the client github repo) and adds it to the project on the server side (and client, if needed)
@florpor scraped a more complete map than what we have.
The point of this ticket isn't just to import the map, but to build an automated way of adding a map to the DB - in particular extracting all the Gush IDs, which currently reside both in the DB and in a file on the server.
The result of this should be an "import_map.py" utility, which takes a gushim map (perhaps a URL to that map in the client github repo) and adds it to the project on the server side (and client, if needed)