Correct Workflow to use master instead of main branch (seanprashad#186)

Fixes seanprashad#185

Author: seanprashad

.github/workflows/github-pages.yml

@@ -3,7 +3,7 @@ name: GitHub pages
 on:
   push:
     branches:
-      - main
+      - master
 
 jobs:
   deploy:
@@ -30,10 +30,7 @@ jobs:
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3
-        # If you're changing the branch from main,
-        # also change the `main` in `refs/heads/main`
-        # below accordingly.
-        if: ${{ github.ref == 'refs/heads/main' }}
+        if: ${{ github.ref == 'refs/heads/master' }}
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./build