Prioritized Labels
  • bug 🐞
    • Project label
  • confirmed 👁
    • Project label
  • critical 😱
    • Project label
  • high priority
    • Project label
  • medium priority
    Or simply to be done after a high priority
    • Project label
  • Other Labels
  • CI ⚙
    • Project label
  • Code quality 🌟
    Code quality 🌟
    • Project label
  • Needs Review
    • Project label
  • Nice to have 👶
    Features which would be nice to have
    • Project label
  • Not for V1 💫
    • Project label
  • Packaging 📦
    • Project label
  • alpha α
    • Project label
  • approved
    • Project label
  • attic
    • Project label
  • bad UX 🍎
    • Project label
  • baking
    • Project label
  • build system
    • Project label
  • client 🏧
    • Project label
  • compiler 🤖
    • Project label
  • coq-of-ocaml 🐔
    • Project label
  • crypto
    • Project label
  • ddb 🕮
    • Project label
  • deps-rework
    • Project label
  • discussion ☕
    • Project label
  • doc 📖
    • Project label