From 178806df5abf88c1ff8890aee243fd0b37726ef1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fatih=20Ayg=C3=BCn?= <cyco130@gmail.com>
Date: Sat, 19 Aug 2023 11:58:24 +0100
Subject: [PATCH] chore(deno): use deploy key to push

---
 .github/workflows/deno.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/deno.yml b/.github/workflows/deno.yml
index 5c6e5b2f..328d1b89 100644
--- 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