From 4b251aab2231d5990c853024c1da9b9564959e5d Mon Sep 17 00:00:00 2001
From: Tim <45259958+carlfriedrich@users.noreply.github.com>
Date: Tue, 6 Dec 2022 04:14:32 +0100
Subject: [PATCH] Meta: GitHub tag action: add commit key (#248)

The COMMIT_KEY secret contains a private SSH key. The associated public
key has been added as a deploy key in the GitHub project. See:
https://docs.github.com/en/developers/overview/managing-deploy-keys#deploy-keys

This is necessary to make commits done by github-actions able to trigger
further github-actions. See:
https://stackoverflow.com/q/60418323/3018229.
---
 .github/workflows/tag.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/tag.yaml b/.github/workflows/tag.yaml
index 5def115..3720b7e 100644
--- a/.github/workflows/tag.yaml
+++ b/.github/workflows/tag.yaml
@@ -15,6 +15,12 @@ jobs:
         uses: actions/checkout@v3
         with:
           fetch-depth: 0
+          # The COMMIT_KEY secret contains a private SSH key. The associated public key
+          # has been added as a deploy key in the GitHub project. See:
+          # https://docs.github.com/en/developers/overview/managing-deploy-keys#deploy-keys
+          # This is necessary to make commits done by github-actions able to trigger
+          # further github-actions. See: https://stackoverflow.com/q/60418323/3018229.
+          ssh-key: "${{secrets.COMMIT_KEY}}"
 
       - name: Create Tag
         run: .github/scripts/tag.sh