Labels

• Bug

  Bug

  Something isn't working

• deps

  deps

  Update of dependencies

• dev-deps

  dev-deps

  Update of development dependencies

• Do not merge

  Do not merge

  Do not merge this PR while this label is on

• Documentation

  Documentation

  Improvements or additions to documentation

• Duplicate

  Duplicate

  This issue or pull request already exists

• github-actions

  github-actions

• Hotfix

  Hotfix

  This PR contains an hotfix for the production, it is a priority

• Mergeable

  Mergeable

  This PR can be merged as soon as it has been reviewed and all the checks are green

• Question

  Question

  Further information is requested

• released

  released

• Stale

  Stale

• Won't fix

  Won't fix

  This will not be worked on