about summary refs log tree commit diff
path: root/src/etc/pre-push.sh
AgeCommit message (Expand)AuthorLines
2025-09-27Add auto extra-checks in pre-push scriptShunpoco-1/+4
2025-02-25Skip `tidy` in pre-push hook if the user is deleting a remote branchYotam Ofek-0/+14
2024-06-19remove `GIT_DIR` handling in pre-push hookonur-ozkan-2/+0
2023-06-30User may want to skip tidy check sometimesyukang-1/+5
2023-05-31Fix `src/etc/pre-push.sh` when `build.locked-deps` is already set in config.tomljyn-1/+1
2023-01-21Pass `--locked` to the x test tidy callAlbert Larsan-1/+1
2023-01-04adjust comments about pre-push.sh hookKaDiWa-1/+1
2022-12-17Make the pre-push script work on directories with spacesJoshua Nelson-10/+2
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