mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* [db] UserStorageResource: make userId char(36) instead of varchar(255) * [db] Use INSERT INTO ... ON DUPLICATE KEY UPDATE for user storage