diff options
| author | Chun Kuan Lee <ken2812221@gmail.com> | 2018-05-10 16:22:58 +0000 |
|---|---|---|
| committer | Chun Kuan Lee <ken2812221@gmail.com> | 2018-06-12 14:48:02 +0000 |
| commit | e5b2cd8e7564b9fc2ed4f63fe49efb0af60b4460 (patch) | |
| tree | 5355f07d0bf219960a672e34cc7501b614936e7d /contrib/verify-commits/pre-push-hook.sh | |
| parent | e24bf1ce184bc8d5bba70a3f3e9c43c2df07f4d3 (diff) | |
Use python instead of slow shell script on verify-commits
Diffstat (limited to 'contrib/verify-commits/pre-push-hook.sh')
| -rwxr-xr-x | contrib/verify-commits/pre-push-hook.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/verify-commits/pre-push-hook.sh b/contrib/verify-commits/pre-push-hook.sh index c21febb9e9..1f14635f61 100755 --- a/contrib/verify-commits/pre-push-hook.sh +++ b/contrib/verify-commits/pre-push-hook.sh @@ -12,9 +12,9 @@ while read LINE; do if [ "$4" != "refs/heads/master" ]; then continue fi - if ! ./contrib/verify-commits/verify-commits.sh $3 > /dev/null 2>&1; then + if ! ./contrib/verify-commits/verify-commits.py $3 > /dev/null 2>&1; then echo "ERROR: A commit is not signed, can't push" - ./contrib/verify-commits/verify-commits.sh + ./contrib/verify-commits/verify-commits.py exit 1 fi done < /dev/stdin |