From dd0c513555aa6cd54dd60c19367e9f0b879110ae Mon Sep 17 00:00:00 2001
From: Marek Rusinowski <marekrusinowski@gmail.com>
Date: Fri, 28 Jul 2023 20:26:07 +0200
Subject: [PATCH] Use SSH deploy key for creation of sync map PRs.

This is following
https://github.com/peter-evans/create-pull-request/blob/f908c6b99c68ed4a1eee1cdb6fbc20a0464a92ed/docs/concepts-guidelines.md#push-using-ssh-deploy-keys
to work around limitation of GitHub Workflows not being triggered
from PRs created from other workflows.
---
 .github/workflows/ci.yaml       | 1 +
 .github/workflows/sync_map.yaml | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index b3f5c8b..d0631d6 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -3,6 +3,7 @@ on:
   push:
     branches:
       - main
+      - 'sync-map-*'
     paths-ignore:
       - 'tools/**'
       - 'cloud/**'
diff --git a/.github/workflows/sync_map.yaml b/.github/workflows/sync_map.yaml
index e0bfaf5..1690298 100644
--- a/.github/workflows/sync_map.yaml
+++ b/.github/workflows/sync_map.yaml
@@ -44,6 +44,8 @@ jobs:
             echo "pr_title=Update map ${to_sync} from rowy" >> $GITHUB_OUTPUT
           fi
       - uses: actions/checkout@v3
+        with:
+          ssh-key: ${{ secrets.SSH_SELF_DEPLOY_KEY }}
       - name: Setup Python
         uses: actions/setup-python@v4
         with: