Bump version number with bot

Author: Mark2000

.github/workflows/pull-request-closed.yml

@@ -11,14 +11,16 @@ jobs:
         runs-on: ubuntu-latest
         steps:
         - name: Pull repo
-          uses: actions/checkout@v2
+          uses: actions/checkout@v3
           with:
             ref: develop
+            fetch-depth: 0 
+            token: $ff secrets. BOT_ACCESS_TOKEN 3}
         - name: Bump version
           run: ./.github/workflows/version-bumper.sh ./docs/source/bskVersion.txt
         - name: Commit and push
           run: |
-              git config user.name github-actions
-              git config user.email github-actions@github.com
+              git config user.name "AVSlabBot"
+              git config user.email "cuavslab@gmail.com"
               git commit -a -m "[AUTO] Bump version number"
               git push