Sven Efftinge f8086b9a25 [server] use owner and repo name for workspace id ...

This change introduces optional arguments in generateWorkspaceId
for the first two segments. And makes use of it in workspace factory
using the repos org/group and name.

fixes https://github.com/gitpod-io/gitpod/issues/4129

2022-01-07 10:33:00 +01:00

..

cmd

Add SSH Gateway to ws-proxy

2022-01-06 17:29:00 +01:00

pkg

[server] use owner and repo name for workspace id

2022-01-07 10:33:00 +01:00

public

Add 5 second interval automatic page reload to

2021-09-30 06:37:47 -03:00

BUILD.yaml

Add SSH Gateway to ws-proxy

2022-01-06 17:29:00 +01:00

example-config.json

Decouple ws-proxy from ws-manager

2021-11-05 10:33:03 +01:00

go.mod

Add SSH Gateway to ws-proxy

2022-01-06 17:29:00 +01:00

go.sum

Add SSH Gateway to ws-proxy

2022-01-06 17:29:00 +01:00

leeway.Dockerfile

component/common-go/tracing: Add version tags to all spans

2021-12-08 11:30:33 +01:00

main.go

[license] Update license header from TypeFox GmbH to Gitpod GmbH

2021-01-04 15:12:02 +01:00

OWNERS

[prow] Add labels to OWNERS files

2021-10-12 09:01:58 -03:00

package.json

Autofix: trailing-spaces

2021-04-12 08:29:10 +02:00

telepresence.sh

Run shellcheck against scripts

2021-06-04 16:26:37 -04:00