Add new authors since the 0.15 release, tweak instructions for how to update that list.

This commit is contained in:
Eric Haszlakiewicz
2022-04-13 23:16:34 +00:00
parent 4902f9cb87
commit 66dcdf549e
2 changed files with 22 additions and 1 deletions

View File

@@ -24,7 +24,8 @@
the _new_ release version.
* Update the AUTHORS file
git log -r 31ab57ca..HEAD | grep Author: | sed -e's/Author: //' ; cat AUTHORS ) | sort -u > A1
PREV=$(git tag | tail -1)
( git log -r ${PREV}..HEAD | grep Author: | sed -e's/Author: //' ; cat AUTHORS ) | sort -u > A1
mv A1 AUTHORS
* Exclude mentioning changes that have already been included in a point