From cc9b38a559100ace519522ef1bf19175545514c1 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 7 Oct 2025 03:01:03 +0000
Subject: [PATCH] Bump gitpod/workspace-full from `be3117a` to `7880dd5`

Bumps gitpod/workspace-full from `be3117a` to `7880dd5`.

---
updated-dependencies:
- dependency-name: gitpod/workspace-full
  dependency-version: 7880dd5ab96eb515294fed0fd562d8d358a4d7ef19a1c18a8c68f8a55646280c
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 .gitpod.Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
index 1672237..66eab3a 100644
--- a/.gitpod.Dockerfile
+++ b/.gitpod.Dockerfile
@@ -1 +1 @@
-FROM gitpod/workspace-full@sha256:be3117a78f97798396a33dbf4287f77902a3bd793f35df6268a8262f503e2ff0
+FROM gitpod/workspace-full@sha256:7880dd5ab96eb515294fed0fd562d8d358a4d7ef19a1c18a8c68f8a55646280c