Labels

• bug

  bug

  Something isn't working

• do not merge

  do not merge

  Pull request is not ready to be merged, even if not in draft

• documentation

  documentation

  Improvements or additions to documentation

• feature

  feature

  New feature or request

• maintenance

  maintenance

  PRs to update dependencies

• refactor

  refactor

  PRs that do not alter features, but only refactor existing code

• spike

  spike

  PRs to experiment with