From f6c8209db8d06c8deea5c23e7656000c675e7f9b Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Tue, 18 Nov 2025 10:23:58 +0100
Subject: [PATCH] Clean up references to Gitpod

---
 .gitpod.yml     | 58 -------------------------------------------------
 CONTRIBUTING.md |  3 +--
 README.md       |  1 -
 3 files changed, 1 insertion(+), 61 deletions(-)
 delete mode 100644 .gitpod.yml

diff --git a/.gitpod.yml b/.gitpod.yml
deleted file mode 100644
index 3ff0de94f9..0000000000
--- a/.gitpod.yml
+++ /dev/null
@@ -1,58 +0,0 @@
-github:
-  prebuilds:
-    master: true
-    pullRequests: true
-    pullRequestsFromForks: true
-    addCheck: false
-    addComment: false
-    addBadge: false
-    addLabel: false
-tasks:
-  - name: setup
-    init: |
-      pushd /workspace
-      wget -qO- https://micro.mamba.pm/api/micromamba/linux-64/latest | tar -xvj bin/micromamba
-      popd
-      # bootstrap activation commands for other tasks to reuse
-      cat <<EOT > /workspace/bin/activate-env.sh
-      export MAMBA_ROOT_PREFIX=/workspace/.micromamba
-      export MAMBA_EXE=/workspace/bin/micromamba
-      $(/workspace/bin/micromamba shell hook --shell=bash)
-      export JUPYTER_PREFER_ENV_PATH=1
-      export TZ=UTC
-      micromamba activate
-      EOT
-      source /workspace/bin/activate-env.sh
-      micromamba install -n base -y -c conda-forge python=3.11 nodejs=18
-      source /workspace/bin/activate-env.sh
-      python -m pip install -e ".[dev,test]" && jlpm run build && jlpm develop
-      gp sync-done setup
-    command: |
-      gp sync-done setup
-      source /workspace/bin/activate-env.sh
-      jupyter notebook --no-browser --ServerApp.token='' --ServerApp.allow_remote_access=True
-
-  - name: auto-activate
-    command: |
-      gp sync-await setup
-      source /workspace/bin/activate-env.sh
-      jlpm watch
-
-  - name: shell
-    command: |
-      gp sync-await setup
-      echo "source /workspace/bin/activate-env.sh" >> ~/.bashrc
-      source /workspace/bin/activate-env.sh
-
-  - name: docs
-    command: |
-      gp sync-await setup
-      sudo apt-get update
-      sudo apt install enchant-2 -y
-      wget https://github.com/jgm/pandoc/releases/download/2.14.2/pandoc-2.14.2-1-amd64.deb -O /tmp/pandoc.deb && sudo dpkg -i /tmp/pandoc.deb
-      source /workspace/bin/activate-env.sh
-      hatch run docs:build
-      hatch run docs:serve
-
-ports:
-  - port: 8888
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 97cbdceda3..6823f81b72 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -243,6 +243,5 @@ Alternatively you can also contribute to Jupyter Notebook without setting up a l
   - Run `pixi shell` in a terminal to activate the development environment
   - Use the commands above for building the extension and running the tests, for example: `jlpm build`
   - To start the application: `pixi run start`. A popup should appear with a button to open the Jupyter Notebook in a new browser tab. If the popup does not appear, you can navigate to the "Forwarded ports" panel to find the URL to the application.
-- [Gitpod](https://gitpod.io/#https://github.com/jupyter/notebook) integration is enabled. The Gitpod config automatically builds the Jupyter Notebook application and the documentation.
-- GitHub’s [built-in editor](https://docs.github.com/en/repositories/working-with-files/managing-files/editing-files) is suitable for contributing small fixes.
+- GitHub's [built-in editor](https://docs.github.com/en/repositories/working-with-files/managing-files/editing-files) is suitable for contributing small fixes.
 - A more advanced [github.dev](https://docs.github.com/en/codespaces/the-githubdev-web-based-editor) editor can be accessed by pressing the dot (.) key while in the Jupyter Notebook GitHub repository
diff --git a/README.md b/README.md
index 8679763afc..5550f4f133 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,6 @@
 ![Github Actions Status](https://github.com/jupyter/notebook/workflows/Build/badge.svg)
 [![Documentation Status](https://readthedocs.org/projects/jupyter-notebook/badge/?version=latest)](https://jupyter-notebook.readthedocs.io/en/latest/?badge=latest)
 [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/jupyter/notebook/main?urlpath=tree)
-[![Gitpod](https://img.shields.io/badge/gitpod_editor-open-blue.svg)](https://gitpod.io/#https://github.com/jupyter/notebook)
 
 The Jupyter notebook is a web-based notebook environment for interactive
 computing.