Initial version of OAuth server to manage access to Gitpod workspaces#4222

Merged

rl-gitpod merged 1 commit intomainfrom

rl/gplctl-oauth-server

May 21, 2021

Commits on May 21, 2021

[server] add OAuth2 server endpoints (behind a feature flag)
rl-gitpod
committed