From a074ded59b153dcfdacda6d50e81f68e2ee620c1 Mon Sep 17 00:00:00 2001
From: Peter Feerick <pfeerick@users.noreply.github.com>
Date: Sat, 25 Oct 2025 18:37:35 +1000
Subject: [PATCH] chore: remove GitPod as part of transition to GitHub
 Codespaces

---
 .github/workflows/docker-image.yml | 38 -----------------------
 gitpod/Dockerfile                  | 49 ------------------------------
 2 files changed, 87 deletions(-)
 delete mode 100644 gitpod/Dockerfile

diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
index 938f610..0849926 100644
--- a/.github/workflows/docker-image.yml
+++ b/.github/workflows/docker-image.yml
@@ -95,44 +95,6 @@ jobs:
           tags: ${{ steps.meta.outputs.tags }}
           labels: ${{ steps.meta.outputs.labels }}
 
-  gitpod:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Check out the repo
-        uses: actions/checkout@v3
-
-      - name: Set up Docker Buildx
-        uses: docker/setup-buildx-action@v3
-
-      - name: Docker metadata
-        id: meta
-        uses: docker/metadata-action@v4
-        with:
-          images: |
-            name=ghcr.io/edgetx/gitpod-workspace
-          tags: |
-            type=ref,event=branch
-            type=ref,event=pr
-            type=semver,pattern={{version}}
-            type=semver,pattern={{major}}.{{minor}}
-            type=raw,value=latest,enable=${{ github.ref == format('refs/heads/{0}', 'main') }}
-
-      - name: Login to GitHub Container Registry
-        uses: docker/login-action@v2
-        with:
-          registry: ghcr.io
-          username: ${{ github.repository_owner }}
-          password: ${{ secrets.GITHUB_TOKEN }}
-
-      - name: Build and Push edgetx-dev
-        uses: docker/build-push-action@v5
-        with:
-          context: gitpod/
-          file: gitpod/Dockerfile
-          push: true
-          tags: ${{ steps.meta.outputs.tags }}
-          labels: ${{ steps.meta.outputs.labels }}
-
   wasi:
     runs-on: ubuntu-latest
     steps:
diff --git a/gitpod/Dockerfile b/gitpod/Dockerfile
deleted file mode 100644
index 49882f3..0000000
--- a/gitpod/Dockerfile
+++ /dev/null
@@ -1,49 +0,0 @@
-FROM gitpod/workspace-base:latest
-
-ARG DEBIAN_FRONTEND=noninteractive
-ARG GCC_ARM_VERSION=14.2.rel1
-
-USER root
-
-RUN apt-get update && \
-    apt-get install --yes --no-install-recommends \
-        ca-certificates \
-        build-essential \
-        dumb-init \
-        libclang-dev \
-        cmake \
-        git \
-        zip \
-        unzip \
-        file \
-        wget \
-        python3-dev \
-        gawk && \
-    apt-get clean && rm -rf /var/lib/apt/lists/*
-
-RUN wget --quiet https://developer.arm.com/-/media/Files/downloads/gnu/${GCC_ARM_VERSION}/binrel/arm-gnu-toolchain-${GCC_ARM_VERSION}-x86_64-arm-none-eabi.tar.xz -O - \
-        | tar -xJ -C /opt
-ENV PATH=/opt/arm-gnu-toolchain-${GCC_ARM_VERSION}-x86_64-arm-none-eabi/bin/:${PATH}
-
-# Python packages installation
-COPY --from=ghcr.io/astral-sh/uv:0.8.2 /uv /uvx /bin/
-ENV VIRTUAL_ENV=/opt/venv
-RUN uv venv \
-        --python-preference system --no-python-downloads \
-        ${VIRTUAL_ENV} && \
-    uv pip install --no-cache \
-        asciitree \
-        clang \
-        jinja2 \
-        pillow \
-        lz4 \
-        pyelftools \
-        pydantic
-# Add venv to PATH
-ENV PATH="$VIRTUAL_ENV/bin:$PATH"
-
-USER gitpod
-
-VOLUME ["/src"]
-
-ENTRYPOINT ["/usr/bin/dumb-init", "--"]