Anki/.github/scripts/contrib.sh
2020-01-06 15:37:21 +10:00

8 lines
177 B
Bash
Executable file

#!/bin/bash
set -e
headAuthor=$(git log -1 --pretty=format:'%ae')
git log --pretty=format:'%ae' CONTRIBUTORS | grep -q "$headAuthor"
echo "$headAuthor found in CONTRIBUTORS"