mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* Make backend-plugin readiness a condition of IDE readiness * Add compatibility to `2022.3.3` * fixup * Observe ide readiness as Inf after 11 seconds * shutdown after 10 minutes * fix hot-deploy.sh * Add shutdown reason * address feedback * Add Feature Flags * fixup * fix * Add one line log * address feedback