Remove Gitpod config #369
Description
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.
{{ message }}
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.