use this to set git credentials

ESCOMP · Jan 9, 2023 · 7f9d330 · 7f9d330
1 parent 5ac731b
commit 7f9d330
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -15,6 +15,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
+      - uses: oleksiyrudenko/gha-git-credentials@v2-latest
+        with:
+          token: '${{ secrets.GITHUB_TOKEN }}'
       - name: Test Manic
         run: |
           pushd test