chore(deno): use deploy key to push

hattipjs · Aug 19, 2023 · 178806d · 178806d
1 parent e192593
commit 178806d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/deno.yml b/.github/workflows/deno.yml
@@ -63,4 +63,7 @@ jobs:
           git config --global user.email "<>"
           git add .
           git diff --quiet && git diff --staged --quiet || git commit -m "sync with hattipjs/hattip ${{ github.sha }}"
+          # Use the GIT_PUSH_KEY secret deploy key
+          eval "$(ssh-agent -s)"
+          ssh-add - <<< "${{ secrets.GIT_PUSH_KEY }}"
           git push