chore: remove obsolete gitpod integration (#13334)

This commit is contained in:
Marc Cornellà 2025-09-27 15:56:46 +02:00 committed by GitHub
commit 6d5482ef59
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 0 additions and 15 deletions

5
.gitpod.Dockerfile vendored
View file

@ -1,5 +0,0 @@
FROM gitpod/workspace-full
RUN sudo apt-get update && \
sudo apt-get install -y zsh && \
sudo rm -rf /var/lib/apt/lists/*