mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* draft * Update permission.ts changed admin-role into admin-permissions * Update gitpod-server-impl.ts changed admin-role into admin-permissions * [server] Grant "admin" and "admin-permissions" for first user --------- Co-authored-by: Gero Posmyk-Leinemann <gero@gitpod.io>