Labels

• awaiting-gitpod-internal-fix

  The issue will be addressed by the gitpod team
• awaiting-gitpod-internal-merge

  A fix has been provided, awaiting merge of PR into master
• blocked
• bug

  Something isn't working
• caveat

  User should be warned not to misused the system or informed of very rare non fatal edge cases
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• fixed

  Bug has been fixed
• gitpod-breaking-change

  A breaking change introduced by the Gitpod platform itself.
• gitpod-config

  Related to gitpod configuration (bash scripts etc...)
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• important
• in-dev-qa
• in-development

  Bug or feature is currently being worked on
• intermittant
• internal-gitpod-bug

  Bug in the Gitpod platform itself
• invalid

  This doesn't seem right
• Needs Official QA

  Dev QA is not always enough, this could use extra eyes on it.
• not a bug

  Looks like a bug but is not a bug
• not an issue
• optimization

  refactor or enhance code to enhance performance
• partially-implmented
• passed-dev-qa

  Optional state. Use this when QAing other peoples fixes in another branch.ready to be merged to main
• question

  Further information is requested
• refactor
• security-risk
• task

  tasks not related to bugs or enhancements
• third party bug

  This bug is a result of an issue in a third party library.