Labels

• bug/typo

  Bug or typo fix
• content

  New content that does not fit a different category
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• flowchart

  Flowchart updates
• GitHub

  Workflow or README updates
• github_actions

  Pull requests that update GitHub Actions code
• help wanted

  Extra attention is needed
• jobs

  Job-related pull requests
• mapping

  Map updates
• missions

  Mission-related pull requests
• question

  Further information is requested