From 2c23aea8e0e6ad23cae2f25de90c55c0b0a190a3 Mon Sep 17 00:00:00 2001
From: Raniere Silva <Raniere.CostadaSilva@gesis.org>
Date: Tue, 7 Jan 2025 17:11:39 +0100
Subject: [PATCH] Add Docker Desktop to deploy.py

Related to https://github.com/jupyterhub/mybinder.org-deploy/issues/3157
---
 deploy.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/deploy.py b/deploy.py
index 889e68877..b87e0e5a4 100755
--- a/deploy.py
+++ b/deploy.py
@@ -437,6 +437,7 @@ def main():
         "release",
         help="Release to deploy",
         choices=[
+            "docker-desktop",
             "staging",
             "prod",
             "ovh",
@@ -479,6 +480,9 @@ def main():
 
     args = argparser.parse_args()
 
+    if args.release == "docker-desktop":
+        args.local = True
+
     # if one argument given make cluster == release
     cluster = args.cluster or args.release
 
@@ -520,6 +524,8 @@ def main():
                 setup_auth_gcloud(args.release, cluster, args.dry_run)
             elif cluster in AWS_DEPLOYMENTS:
                 setup_auth_aws(cluster, args.dry_run)
+            elif cluster == "docker-desktop":
+                pass
             else:
                 raise Exception("Cloud cluster not recognised!")