Skip to content

Bundle map tiles into GitHub Releases #22

Description

@logbasem

We should add the map tiles into a ZIP file and upload to GitHub Releases.

Otherwise, we have to choose between:

  1. Upload a ton of huge-ass files w/ git
    • git HATES this.
    • Makes the repo extremely slow to clone, pull, fetch, etc.
  2. Keep them on a USB drive or Google Drive
    • Hard to track
    • Difficult to transfer between the drive, computers, and Rover
    • Easier to make mistakes w/ older maps or missing files

Checklist

Please complete all the items in this checklist to close the issue!

  • Document how to create map tiles
    • Involves GUI tools, so take screenshots!!!
    • Make it in a docs/make_tiles.md or something.
      • Our current docs are in the README, but that makes it pretty hard to understand what's going on in this repo lmao
  • Create new map tiles using that method
  • Upload them to GitHub Releases

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

devopsStuff that helps developers: CI, Actions, deployment, etc.map serverRelated to the map server

Type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions