Labels

• approved

  Pull requests that have been approved
• backend
• bug
• bug-fix

  Pull requests that fix a bug
• changes-requested

  Pull requests with requested changes
• chore

  Pull requests that does something "boring", yet important, e.g. cleaning up code
• dependencies

  Pull requests that update a dependency file
• discussion

  Pull requests or issues that need discussion, e.g. regarding controversial/big changes
• do-not-merge/hold

  Pull request is on hold (e.g. waiting for something else to be merged), and should not be merged
• do-not-merge/WIP

  Pull requests that are "work in progress", and should not be merged
• enhancement

  Pull requests that make or issues that suggest enhancements, instead of just purely new features
• flawless

  Pull requests with "flawless" code, e.g. formatting or simple renaming. Should be used with caution!
• frontend
• future-is-now

  Pull requests that utilize cutting-edge technology or just a cool new feature
• future-was-2-years-ago

  Pull requests that introduce technologies which should have been "long" ago
• good-first-issue

  Issues that might be good for newcomers
• help-wanted

  Pull requests that want help in the form of contributions
• in-progress
• infrastructure

  Created by Linear-GitHub Sync
• level:easy
• level:hard
• level:medium
• linear
• need-before-2050

  Pull requests that have been in progress for far too long
• new-feature

  Pull requests that introduce or issues that suggest a new feature
• priority:high

  Pull requests that have high priority, and should therefore be prioritized
• python

  Pull requests that update python code
• question

  Pull requests with an unresolved question
• ready-to-merge

  Pull requests that have been approved and are ready to be merged
• review-needed

  Pull requests that need review