Labels

• dependencies

  dependencies

  Pull requests that update a dependency file

• DO-NOT-MERGE

  DO-NOT-MERGE

  Do not merge this PR

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

  New contributors

• help wanted

  help wanted

• infra

  infra

  Automation and tooling for devguide

• invalid

  invalid

• needs: decision

  needs: decision

  Needs consensus decision from the core team

• needs: PR update

  needs: PR update

  An update or rebase to an existing PR is needed.

• pending

  pending

  The issue will be closed if no feedback is provided

• python

  python

  Pull requests that update python code

• stale

  stale

  The PR hasn't been updated in a while, and pending removal

• topic-building python

  topic-building python

• topic-c api

  topic-c api

• topic-compiler

  topic-compiler

• topic-dev process

  topic-dev process

• topic-documentation

  topic-documentation

• topic-git

  topic-git

• topic-github

  topic-github

• topic-internals

  topic-internals

• topic-psrt

  topic-psrt

• topic-pull requests

  topic-pull requests

• topic-sprints

  topic-sprints

• topic-stdlib

  topic-stdlib

• topic-test

  topic-test

• topic-triage

  topic-triage

• topic-versions

  topic-versions

• type-bug

  type-bug

  Editing of existing content needed

• type-feature

  type-feature

  Additions; New content or section needed

• type-refactor

  type-refactor

  Reorganization of contents in devguide