fix: workflows should pull/push to develop branch

Author: jbeveland27

.github/workflows/docs.yml

@@ -92,12 +92,12 @@ jobs:
                 git config user.name "${{ env.THIRD_PARTY_GIT_AUTHOR_NAME }}"
                 git config user.email "${{ env.THIRD_PARTY_GIT_AUTHOR_EMAIL }}"
                 
-                # master could have been modified, so pull before pushing
-                git pull --ff-only origin master
+                # develop could have been modified by the time we get here, so pull before pushing
+                git pull --ff-only origin develop
                 
                 git add .
                 git commit -m "$WIKI_COMMIT_MESSAGE"
-                git push origin master
+                git push origin develop
             )
           else 
             warning "No file diff between wiki and docs. Exiting."

.github/workflows/project-stats.yml

@@ -32,6 +32,9 @@ jobs:
           git config --local user.email "${{ env.THIRD_PARTY_GIT_AUTHOR_EMAIL }}"
           git config --local user.name "${{ env.THIRD_PARTY_GIT_AUTHOR_NAME }}"
 
+          # develop could have been modified since we checked out, so pull before pushing
+          git pull --ff-only origin develop
+
           echo "Updated project data files -- committing"
           git add src/data
           git commit -m "chore(stats): updated project stats files"
@@ -85,7 +88,7 @@ jobs:
           elif [ '${{ github.ref }}' = 'refs/heads/master' ]; then
             npm run build:production
           else
-            echo "::error::Pull Request opened on unsupported branch. Exiting."
+            echo "::error::Running on unsupported branch. Exiting."
             exit 1
           fi