Polish "Only include production branches for docs deployment"

snicoll · snicoll · commit 7357812b4e79 · 2024-03-14T17:47:12.000+01:00
See gh-32434
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -1,11 +1,10 @@
 name: Deploy Docs
 on:
   push:
-    branches-ignore:
-      - 'gh-pages'
     branches:
       - 'main'
       - '*.x'
+      - '!gh-pages'
     tags:
       - 'v*'
   repository_dispatch:
