change main to master in pages.yml

Author: AnnaEngel98

.github/workflows/pages.yml

@@ -3,7 +3,7 @@ name: Deploy MkDocs to GitHub Pages
 on:
   push:
     branches:
-      - main
+      - master
   workflow_dispatch:
   pull_request:
 
@@ -49,8 +49,8 @@ jobs:
     # Add a dependency to the build job
     needs: build
 
-    # Only deploy on pushes to main or manual trigger of main branch
-    if: github.ref == 'refs/heads/main'
+    # Only deploy on pushes to master or manual trigger of master branch
+    if: github.ref == 'refs/heads/master'
 
     # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
     permissions: