anki/.github/scripts/contrib.sh

7 lines
135 B
Bash
Raw Normal View History

2020-01-06 06:37:21 +01:00
#!/bin/bash
set -e
headAuthor=$(git log -1 --pretty=format:'%ae')
git log --pretty=format:'%ae' CONTRIBUTORS | grep -q "$headAuthor"