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

6 Commits

Author SHA1 Message Date
Christian Weichel
478a75e744 Switch license to AGPL 2022-12-08 13:05:19 -03:00
Jan Keromnes
370028757d Disable the deprecated '#prebuild/' context URL prefix 2022-11-30 11:28:59 -03:00
Milan Pavlik
2f0b9462b0 Format components/gitpod-protocol with prettier 2022-03-14 21:42:21 +05:30
Gero Posmyk-Leinemann
5ff578ed67 [server, dashboard] Never fail when parsing ContextURL 
Additionally:
 - always prefer `ws.context.normalizedContextURL` over `ws.contextURL`
 - if `normalizedContextURL` is not set, always try to normalize it
 2022-02-09 15:51:31 +01:00
Jan Keromnes
913d96392c [protocol] Make ContextURL.parseToURL support the newly-accepted 'git@{host}:{user}/{repo}.git' format 
Fixes https://github.com/gitpod-io/gitpod/issues/8097
Companion to https://github.com/gitpod-io/gitpod/pull/7951
 2022-02-09 10:17:31 +01:00
Gero Posmyk-Leinemann
1ead50ef98 [protocol] ContextURL.parse 2021-06-28 16:45:04 +02:00