From e857fecfdd9bba0dfdcf32fda5a9e99a9032bfda Mon Sep 17 00:00:00 2001 From: Andreas Maier Date: Thu, 10 Oct 2024 09:49:45 +0200 Subject: [PATCH] Document git shortlog issue in Makefile Signed-off-by: Andreas Maier --- Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index f69335c..c093f96 100644 --- a/Makefile +++ b/Makefile @@ -470,14 +470,16 @@ docker: $(done_dir)/docker_$(pymn)_$(PACKAGE_LEVEL).done authors: AUTHORS.md @echo "Makefile: $@ done." -# Make sure the AUTHORS.md file is up to date but has the old date when it did not change to prevent redoing dependent targets +# Make sure the AUTHORS.md file is up to date but has the old date when it did +# not change to prevent redoing dependent targets. In GitHub Actions, the +# 'git shortlog' command does not return authors anymore since around 8/2024. +# This is tolerated by leaving the file unchanged. AUTHORS.md: _always echo "# Authors of this project" >AUTHORS.md.tmp echo "" >>AUTHORS.md.tmp echo "Sorted list of authors derived from git commit history:" >>AUTHORS.md.tmp echo '```' >>AUTHORS.md.tmp sh -c "git shortlog --summary --email | cut -f 2 | sort >log.tmp" - sh -c "ls -l log.tmp" sh -c "cat log.tmp >>AUTHORS.md.tmp" echo '```' >>AUTHORS.md.tmp sh -c "if ! grep -q '[^[:space:]]' log.tmp; then echo 'Warning - git shortlog does not display any authors - leaving AUTHORS.md file unchanged'; else if ! diff -q AUTHORS.md.tmp AUTHORS.md; then echo 'Updating AUTHORS.md as follows:'; diff AUTHORS.md.tmp AUTHORS.md; mv AUTHORS.md.tmp AUTHORS.md; else echo 'AUTHORS.md was already up to date'; fi; fi"