Labels
Labels
19 labels
- PRs eligible for automatic merge
- Automerge PR after checks pass
- Something went wrong
- Pull requests that update a dependency file
- Pull requests that update devcontainers_package_manager code
- Change to development workflows
- Change to documentation
- This issue or pull request already exists
- New feature or request
- Pull requests that update Github_actions code
- Good for newcomers
- Extra attention is needed
- This doesn't seem right
- Non-behavior related change
- Pull requests that update Python code
- Further information is requested
- This will not be worked on