webstone-plugins
webstone-plugins copied to clipboard
Remove 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.