Deploy to a different branch

Author: Bellangelo

.github/workflows/respec.yaml

@@ -5,7 +5,7 @@ name: respec
 
 #
 # This workflow updates the respec 'pretty' rendered versions of the spec 
-# on the gh-pages branch when the corresponding markdown files change.
+# on the pages branch when the corresponding markdown files change.
 #
 
 # run this on push to main
@@ -32,9 +32,9 @@ jobs:
     - name: Install dependencies
       run: npm ci
 
-    - uses: actions/checkout@v4 # checkout gh-pages branch
+    - uses: actions/checkout@v4 # checkout pages branch
       with:
-        ref: gh-pages
+        ref: pages
         path: deploy
 
     - name: run main script
@@ -45,7 +45,7 @@ jobs:
       with:
         token: ${{ secrets.GITHUB_TOKEN }}
         branch: update-respec-version
-        base: gh-pages
+        base: pages
         delete-branch: true
         path: deploy
         labels: Housekeeping