about summary refs log tree commit diff
path: root/src/etc/pre-push.sh
AgeCommit message (Expand)AuthorLines
2022-08-29Don't --bless in pre-push hookTyler Mandry-1/+1
2022-04-11pre-push.sh: Use python3 if python is not foundCheng XU-1/+3
2021-08-24Make the pre-commit script pre-push insteadJoshua Nelson-0/+23