Let auto-update make docker-master PRs too, for now

tianon · Feb 9, 2024 · 8f420f3 · 8f420f3
1 parent e8df9a3
commit 8f420f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml
@@ -34,7 +34,7 @@ jobs:
                 - [
                   # directories to skip creating branches/PRs for
                   "docker-desktop", # no "versions.sh" (yet?)
-                  "docker-master",
+                  #"docker-master", # while server is out of commission
                   empty # trailing comma
                 ]
                 | sort