mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* Adding prebuildsEnabled filter to projects search query * adding prebuilds_enabled param * stubbing out UI for prebuild status filter * mark prebuilds_enabled as optional so we have an undefined state * ui stuff * whoopsie * drop animations for now * comments * cleanup * convert to string * consider prebuild filter in showing table * add prebuilds query param * fix issue w/ fragment around routes preventing 404 handler