github actions: Use correct credentials for pushing

diff --git a/.github/workflows/main-branch-sync.yml b/.github/workflows/main-branch-sync.yml
index c8cd477..2825a5f 100644 (file)
--- a/.github/workflows/main-branch-sync.yml
+++ b/.github/workflows/main-branch-sync.yml
@@ -12,6 +12,10 @@ jobs:
       - name: Checkout Code
         uses: actions/checkout@v2
         with:
+          # persist-credentials: false allows us to use our own credentials for
+          # pushing to the repository.  Otherwise, the default github actions token
+          # is used.
+          persist-credentials: false
           fetch-depth: 0
 
       - name: Update branch