Skip to content

Change default endpoint to app.gitpod.io#193

Closed
filiptronicek wants to merge 1 commit intomainfrom
ft/change-default-endpoint
Closed

Change default endpoint to `app.gitpod.io`#193
filiptronicek wants to merge 1 commit intomainfrom
ft/change-default-endpoint

Commits

Commits on May 23, 2025