gitpod

mirror of https://github.com/gitpod-io/gitpod.git synced 2025-12-08 17:36:30 +00:00

History

[gitpod-protocol] handle host:port:token for getGitpodImageAuth (#20806 )

* [gitpod-protocol] handle host:token and host:port:token for getGitpodImageAuth

* Cleanup

* Improve readability

* Code review feedback

* Update components/gitpod-protocol/src/protocol.ts

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

* [supervisor] tests to cover insertCredentialsIntoConfig

* Fix tests

* [supervisor] handle auth token like `host:port:token`

* [image-builder-mk3] handle host:port:token for auth

* Fix

* Cleanup

* Cleanup

* Cleanup

* Cleanup

* [image-builder-bob] tolerate host:port:token

Special case is to strip port for 443

* Handle center values & code review feedback

* Remove extra/unnecessary trim

* [bob] proxy: explicit and implicit fallback for exact header matching for auth proxy

---------

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Gero Posmyk-Leinemann <gero@gitpod.io>

2025-05-13 03:11:58 -04:00

.vscode

[server] implement organization API (#18948 )

2023-10-19 11:45:27 +03:00

data

[.gitpod.yml] Introduce top-level env (#20339 )

2024-11-05 08:37:01 -05:00

[server, dashboard] Map USER_DELETED properly through the API (#20796 )

2025-05-07 10:57:53 -04:00

java

Add humanReadableDuration as return value from setWorkspaceTimeout

2023-02-10 11:38:15 +01:00