Open mikenikles opened 1 year ago
With #360, I moved my dev environment to Devbox and no longer need the Gitpod config. Need to check with Julian though before we drop the Gitpod config.
With #360, I moved my dev environment to Devbox and no longer need the Gitpod config. Need to check with Julian though before we drop the Gitpod config.