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
9,369 Commits 1,231 Branches 1,883 Tags
Commit Graph

3 Commits

Author SHA1 Message Date
Huiwen
0810836f85 [server,dashboard] add endpoints to get ide credentials 2023-02-15 08:44:19 +01:00
Anton Kosyakov
674ad1c978 polish IDEFrontendDashboardService 
- add docs and security notes
- remove imlementation methods from the interface
- fix a regression with opening desktop IDEs on the workspace origin
- allow to access the interface from other locations for the same workspace, i.e. for dev and debug modes
 2023-01-20 11:12:28 +01:00
Huiwen
659889f09a [dashboard] support supervisor frontend server 
Co-authored-by: mustard <mhqnwt@gmail.com>
Co-authored-by: Jean Pierre <jeanp413@hotmail.com>
 2023-01-16 15:52:24 +01:00