diff options
| author | Robin Alexander <robin.alexander@netplus.ch> | 2023-08-08 10:43:36 +0200 |
|---|---|---|
| committer | Robin Alexander <robin.alexander@netplus.ch> | 2023-08-08 10:43:36 +0200 |
| commit | 2033c52cfc6bf7bea266a5c8e81a86041e2c8a2c (patch) | |
| tree | d519335d98ad7e7b7bfa339af28a0cd6e51a7d02 | |
| parent | cc51eb07785309de0921be18f9de6063618e4dd1 (diff) | |
| download | mmbtools-doc-2033c52cfc6bf7bea266a5c8e81a86041e2c8a2c.tar.gz mmbtools-doc-2033c52cfc6bf7bea266a5c8e81a86041e2c8a2c.tar.bz2 mmbtools-doc-2033c52cfc6bf7bea266a5c8e81a86041e2c8a2c.zip | |
Improve github action build-pdf
- Set better git user.name & user.email fields
- Set better git commit message
- Add paths-ignore push filter
| -rw-r--r-- | .github/workflows/build-pdf.yml | 10 |
1 files 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 |