Labels

• bug

  bug

• devops

  devops

  Stuff that helps developers: CI, Actions, deployment, etc.

• docs

  docs

  Improvements or additions to documentation

• good first issue

  good first issue

  Good for new members! :D

• map server

  map server

  Related to the map server