Labels

• accepted

  It's sorted (since this is a mirror, we can't directly accept the PR)
• bug

  Bug reports; things that are wrong
• dependencies

  Pull requests that update a dependency file
• enhancement

  It would make the code better if…
• github_actions

  Pull requests that update GitHub Actions code
• wontfix

  Upon consideration, no thanks