summary refs log tree commit diff
path: root/src/etc/pre-push.sh
AgeCommit message (Expand)AuthorLines
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