Labels

• bug

  Something isn't working
• chore

  E.g. configuration changes or similar basic tasks
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• feature

  New feature or enhancement
• github_actions

  Pull requests that update GitHub Actions code
• Improvement

  Improvement of functionality etc.
• python

  Pull requests that update Python code