Merge pull request #1762 from yuvipanda/update-r2d

Update default repo2docker version used
jupyterhub · Oct 3, 2023 · f631141 · f631141
2 parents 9e3ebef + 9d22a1c
commit f631141
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/binderhub/app.py b/binderhub/app.py
@@ -556,7 +556,7 @@ def _default_build_namespace(self):
         return os.environ.get("BUILD_NAMESPACE", "default")
 
     build_image = Unicode(
-        "quay.io/jupyterhub/repo2docker:2022.10.0",
+        "quay.io/jupyterhub/repo2docker:2023.06.0",
         help="""
         DEPRECATED: Use c.KubernetesBuildExecutor.build_image
 

diff --git a/binderhub/build.py b/binderhub/build.py
@@ -277,7 +277,7 @@ def _default_namespace(self):
         return os.getenv("BUILD_NAMESPACE", "default")
 
     build_image = Unicode(
-        "quay.io/jupyterhub/repo2docker:2022.10.0",
+        "quay.io/jupyterhub/repo2docker:2023.06.0",
         help="Docker image containing repo2docker that is used to spawn the build pods.",
         config=True,
     )