allow publishing from the wip replatform branch for a little longer

Author: heskew

.github/workflows/deploy.yaml

@@ -6,6 +6,7 @@ on:
   push:
     branches:
       - main
+      - docs-in-hdb
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
@@ -81,7 +82,7 @@ jobs:
     name: Deploy to GitHub Pages
     runs-on: ubuntu-latest
     # Only deploy on push to specific branches, not on PRs
-    if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+    if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref == 'refs/heads/docs-in-hdb')
 
     permissions:
       pages: write