aboutsummaryrefslogtreecommitdiff
path: root/scripts/maint/pre-push.git-hook
AgeCommit message (Expand)Author
2018-11-29Mention --no-verify in error messagerl1987
2018-11-29Improve comment at the toprl1987
2018-11-29Rename to pre-push.git-hookrl1987