From 6d5482ef59d1a3ae3b40b4583317ebe802f81447 Mon Sep 17 00:00:00 2001
From: Marc Cornellà <marc@mcornella.com>
Date: Sat, 27 Sep 2025 15:56:46 +0200
Subject: chore: remove obsolete gitpod integration (#13334)

---
 .gitpod.Dockerfile | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 .gitpod.Dockerfile

(limited to '.gitpod.Dockerfile')

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
deleted file mode 100644
index b35c80dfb..000000000
--- a/.gitpod.Dockerfile
+++ /dev/null
@@ -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/*
-- 
cgit v1.2.3-70-g09d2