diary

commit 77c9ff3655b4a95250748fcef55172dd26c87bde
parent db80b2c732a747cff2a6f91f15ed758915cf8ea0
Author: Andreas Gruhler <agruhl@gmx.ch>
Date:   Sun,  1 Aug 2021 11:08:19 +0200

only commit manpage if changed

https://stackoverflow.com/a/8123841

Diffstat:
M
.github/workflows/man.yml
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/man.yml b/.github/workflows/man.yml
@@ -21,5 +21,5 @@ jobs:
         git config user.name github-actions
         git config user.email github-actions@github.com
         git add man1/diary.1.html
-        git commit -m "refresh diary manpage"
+        git diff-index --quiet HEAD || git commit -m "refresh diary manpage"
         git push