2020-01-06 06:37:21 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
2020-01-15 09:33:32 +01:00
|
|
|
echo "All contributors:"
|
|
|
|
git log --pretty=format:' - %ae' CONTRIBUTORS |sort |uniq |sort -f
|
|
|
|
|
2020-01-06 06:37:21 +01:00
|
|
|
headAuthor=$(git log -1 --pretty=format:'%ae')
|
2020-01-15 09:33:32 +01:00
|
|
|
if git log --pretty=format:'%ae' CONTRIBUTORS | grep -q "$headAuthor"; then
|
|
|
|
echo "Author $headAuthor found in CONTRIBUTORS"
|
|
|
|
else
|
|
|
|
echo "Author $headAuthor NOT found in list"
|
|
|
|
exit 1
|
|
|
|
fi
|