From 851918b224549e0a41f4174e10b8261e35025b8c Mon Sep 17 00:00:00 2001
From: Dave Protasowski <dprotaso@gmail.com>
Date: Thu, 25 Sep 2025 16:02:41 -0400
Subject: [PATCH] drop GitPod file - we have a docker image to help with docs
 changes

---
 .gitpod.yml | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 .gitpod.yml

diff --git a/.gitpod.yml b/.gitpod.yml
deleted file mode 100644
index 4839dddf719..00000000000
--- a/.gitpod.yml
+++ /dev/null
@@ -1,11 +0,0 @@
-# List the start up tasks. Learn more https://www.gitpod.io/docs/config-start-tasks/
-tasks:
-  - init: |
-      pip install -r requirements.txt
-    command: mkdocs serve --dirtyreload
-
-
-# List the ports to expose. Learn more https://www.gitpod.io/docs/config-ports/
-ports:
-  - port: 8000
-    onOpen: open-preview