Labels

• code-server

  This PR / issue refers to the `code-server` branch
• major

  Major part of the version should be incremented
• master

  This PR merges changes from `develop` to `master`
• minor

  Minor part of the version should be incremented
• patch

  Patch part of the version should be incremented