Labels

• automation

  Issues/PRs about things that can/should be automated, and related topics
• bug
• ci
• dependencies

  Pull requests that update a dependency file
• DO NOT MERGE
• documentation
• duplicate
• enhancement
• gapdays2020-spring

  Issues and PRs that could be worked on or discussed during GAPDays 2020.
• github_actions

  Pull requests that update GitHub Actions code
• help wanted
• invalid
• manuals
• new content
• packages
• question
• server
• website content
• website structure
• wontfix