Labels

• backend

  Nobody understands it
• bug/typo/error

  Something isn't right
• course

  Adding or editing course-related pages
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• frontend

  Everybody understands it, but it's boring
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• javascript

  Pull requests that update javascript code
• maps

  Related to maps and geodata
• optimization

  It's working, but can be better
• question

  Further information is requested
• wontfix

  This will not be worked on