Labels

• algorithm

  PR for a new algorithm, or algorithm change
• breaking

  PR that introduces a breaking change
• bug

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• fix

  PR that fixes a bug
• general

  PR that is important enough to prioritize in the release notes; cf. 'technical'
• github_actions

  Pull requests that update GitHub Actions code
• help wanted

  Extra attention is needed
• technical

  PR that is a technical change (i.e., not important to prioritize in release notes)