Labels

• bug-fix

  a PR with relevant small changes or fixed a bug
• CI
• dependencies

  Pull requests that update a dependency file
• Docs
• enhancement

  New feature or request
• Pending

  Pending on other PRs or Bugfixs
• privileged
• ratified

  ratified specs
• ReadyToMerge

  Ready to be Merged, waiting finial check
• Require SAIL Support
• size-L

  Large efforts required
• size-M

  Medium efforts required
• size-S

  Small efforts required
• unprivileged
• unratified
• WorkRequired

  Not completed yet and requires further work