From 2033c52cfc6bf7bea266a5c8e81a86041e2c8a2c Mon Sep 17 00:00:00 2001 From: Robin Alexander Date: Tue, 8 Aug 2023 10:43:36 +0200 Subject: [PATCH] Improve github action build-pdf - Set better git user.name & user.email fields - Set better git commit message - Add paths-ignore push filter --- .github/workflows/build-pdf.yml | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build-pdf.yml b/.github/workflows/build-pdf.yml index fd71b4b..036a55c 100644 --- a/.github/workflows/build-pdf.yml +++ b/.github/workflows/build-pdf.yml @@ -3,6 +3,10 @@ on: push: branches: - 'master' + paths-ignore: + - 'README.md' + - 'Makefile' + - 'LICENSE.txt' workflow_dispatch: jobs: @@ -44,10 +48,10 @@ jobs: # Commit mmbtools.pdf - name: commit-pdf run: | - git config user.name github-actions - git config user.email github-actions@github.com + git config user.name "Open Digital Radio" + git config user.email github@opendigitalradio.org git add -f mmbtools.pdf - git commit -m "generated" + git commit -m "generated by github action build-pdf" working-directory: gh-pages - name: push-pdf