associate token to git checkout in order to push

Author: marcoieni

.github/workflows/example-sync.yaml

@@ -30,6 +30,7 @@ jobs:
       with:
         repository: rust-github/rust-gh-example
         path: old_example
+        token: ${{ secrets.GITHUB_TOKEN }}
 
     - name: move sources from old to new example
       run: |