mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* [papi] add user.proto and GetAuthenticatedUser * [papi] (generate.sh) Run end-of-file-fixer * rename to EditoSettings * clean up proto * fix import * update WorkspaceTimeoutSettings * fix typo * update WorkspaceTimeoutSettings * clarify User.name is full name in doc line