mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* Delete 1.85 ide option * Add invalid default ide test * test delete 1.85 ide option * Revert "test delete 1.85 ide option" This reverts commit d705451c50896a75df26fb558df2126d50fffd9e. * Update code to 1.86.1 * Revert "Revert "test delete 1.85 ide option"" This reverts commit 637c8a1fba926c272d045b2c024ae889af92a56b.