Labels

• breaking
• codex
• dependencies

  Pull requests that update a dependency file
• effort: 1

  Takes roughly 1 hour (w/ docs+testing)
• effort: 13

  Takes roughly 13 hours (w/ docs+testing)
• effort: 2

  Takes roughly 2 hours (w/ docs+testing)
• effort: 3

  Takes roughly 3 hours (w/ docs+testing)
• effort: 5

  Takes roughly 5 hours (w/ docs+testing)
• effort: 8

  Takes roughly 8 hours (w/ docs+testing)
• effort: PLEASE SPLIT

  Takes too much time, should be split into subtasks
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• package: cli

  Related to the Command Line Tool
• package: core

  Related to the core libraries
• package: ide

  Related to IDE support
• package: syntax

  Related to the syntax of the language
• priority: important
• priority: soon
• priority: urgent
• state: approved
• state: blocked
• state: inactive
• state: pending
• type: bug

  Something isn't working
• type: chore
• type: discussion
• type: docs

  Improvements or additions to documentation
• type: feature
• type: fix