No labels!
There aren’t any labels for this repository quite yet.
The issue will be addressed by the gitpod team
A fix has been provided, awaiting merge of PR into master
User should be warned not to misused the system or informed of very rare non fatal edge cases
Improvements or additions to documentation
This issue or pull request already exists
A breaking change introduced by the Gitpod platform itself.
Related to gitpod configuration (bash scripts etc...)
Extra attention is needed
Bug or feature is currently being worked on
Bug in the Gitpod platform itself
Dev QA is not always enough, this could use extra eyes on it.
Looks like a bug but is not a bug
refactor or enhance code to enhance performance
Optional state. Use this when QAing other peoples fixes in another branch.ready to be merged to main
Further information is requested
tasks not related to bugs or enhancements
This bug is a result of an issue in a third party library.
You can’t perform that action at this time.