Update GitHub Actions workflow to change default branch from 'master' to 'main' for documentation updates, ensuring proper branch tracking during automated commits.

Author: Chivier

.github/workflows/update_docs.yml

@@ -60,4 +60,4 @@ jobs:
           git config user.name "github-actions[bot]"
           git config user.email "github-actions[bot]@users.noreply.github.com"
           git commit -m 'update docs'
-          git push -u origin master
+          git push -u origin main