No labels!
There aren’t any labels for this repository quite yet.
PRs with this label are usualy automated PRs from Pull.
Automation label for either Mergify and/or your bot account to approve PRs.
Blocks PRs from ever merging without removal of this label. Triggers WIP-styled blocks.
Changes to the workflow files for GitHub Actions
Issues related to Code Server, mostly asked the issue author to move to the official repo.
Changes to an dependency file/lockfile (e.g. npmjs/yarnpkg lockfile, Pipfile, etc.)
Improvements or additions to documentation
This issue or pull request already exists
Extra attention is needed
Changes to the base image, including upgrades made by Dependabot.
Dependency upgrades for Node.js packages we use for the docs site
Further information is requested
PRs with this label are automagically merged by the PR Merger GitHub workflow once approved.
Pull requests from Dependabot regarding dependency upgrades for automated triages
This will not be worked on
You can’t perform that action at this time.