diff --git a/RELEASE.md b/RELEASE.md
index 3f75e5f98d..66abb7cbb0 100644
--- a/RELEASE.md
+++ b/RELEASE.md
@@ -73,7 +73,6 @@ Publishing to PyPI:
     - `doc/python/getting-started.md`
     - `doc/apidoc/conf.py`
     - `doc/requirements.txt`
-    - `binder/requirements.txt`
 2. `doc-prod` should already have been merged on a regular basis into `master`, but
 start by doing it first if not. Then merge `master` into `doc-prod` to deploy the doc related
 to features in the release.
diff --git a/binder/requirements.txt b/binder/requirements.txt
deleted file mode 100644
index 399bdd51a1..0000000000
--- a/binder/requirements.txt
+++ /dev/null
@@ -1,21 +0,0 @@
-jupytext
-plotly==6.0.0
-jupyter
-notebook
-pandas==2.2.2
-statsmodels==0.14.2
-scipy
-patsy==0.5.6
-numpy
-plotly-geo
-psutil
-requests
-networkx
-scikit-image
-datashader
-pyarrow
-cufflinks==0.17.3
-kaleido
-scikit-learn
-umap-learn
-wget