From 8b8bba33137eef8b94509b62c61484017039f501 Mon Sep 17 00:00:00 2001
From: Daniel Runge Petersen <54961055+Daniel-Runge@users.noreply.github.com>
Date: Sat, 28 Sep 2024 14:11:02 +0200
Subject: [PATCH] 17 add GitHub action to compile pdf (#21)

* Add new workflow for compiling report and adding it to repository

* Make push-to-repository depend on the compile-pdf step of the action. Remove first attempt comment.

* Set git config user to github-actions[bot]
---
 .github/workflows/compile-pdf.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/compile-pdf.yaml b/.github/workflows/compile-pdf.yaml
index edb036f..9a9a09c 100644
--- a/.github/workflows/compile-pdf.yaml
+++ b/.github/workflows/compile-pdf.yaml
@@ -44,6 +44,8 @@ jobs:
           path: ./docs
       - name: Push to repository
         run: |
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
           git add ./docs
           git commit -m "Added by compile-pdf GitHub Action"
           git push