archive-gh-me/gitpod
1
0
Fork 0
mirror of https://github.com/gitpod-io/gitpod.git synced 2025-12-08 17:36:30 +00:00
Code Issues Projects Releases Wiki Activity
gitpod/components/ide/jetbrains/backend-plugin/src
History
mustard 999ade3fb6
[JetBrains] display workspace name on the navbar (#20544) 
* [JetBrains] display workspace name on the remote navbar

* Use workspace name
2025-01-30 13:36:20 -05:00
..
main
[JetBrains] display workspace name on the navbar (#20544)
2025-01-30 13:36:20 -05:00
test/kotlin/io/gitpod/jetbrains/remote/util
Switch license to AGPL
2022-12-08 13:05:19 -03:00