Allow end-users to specify region of cluster

[Kreyren]

Allow end-user to specify the region of a cluster in case they are using proxy/VPN/tor that might confuse gitpod to provide a cluster that has an unacceptable delay.

Ideally this should be allowed per repository with wildcards.

References

Original issue: #1495

• Created to track this issue since gitpod workspace url always located in us-02 #1495 is composed of two issues.

[ceefour]

I am hit by this too, according to https://www.gitpod.io/docs/ I am in Indonesia should get the Tokyo region or even Singapore (?). However I'm getting ws-us02.gitpod.io workspaces.

Manually changing it to ws-ap.gitpod.io as suggested by @Kreyren doesn't work...

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[ceefour]

Keep alive

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[wilmarques]

Can we revive this? That would be awesome!

Currently, I'm using Gitpod from Brazil and my cluster is created on US.

[axonasif]

Sure @wilmarques!