aboutsummaryrefslogtreecommitdiff
path: root/scripts/git/pre-push.git-hook
AgeCommit message (Collapse)Author
2020-07-02scripts: Add env variable to disable pre-commit hookDavid Goulet
We introduce TOR_EXTRA_PRE_COMMIT_CHECKS environment variable to run the pre-commit hook. The pre-push git hook will set it in order to run all pre-commit checks. Signed-off-by: David Goulet <dgoulet@torproject.org>
2020-02-12scripts/git: Stop running the checked-out git scriptsteor
Stop executing the checked-out pre-commit hook from the pre-push hook. Instead, execute the copy in the user's git dir. Fixes bug 33284; bugfix on 0.4.1.1-alpha.
2020-01-23Git hooks: remove support for 0.2.9 directory layout.Nick Mathewson
We no longer will be pushing or committing things in branches that use src/common or src/or. Resolves ticket 32957.
2019-12-20Makefile/git scripts: Add comments to keep owned file lists in syncteor
2019-10-31scripts/git: Restore a dropped check for pre-commit in pre-pushteor
Bugfix on 31919; not in any released version of Tor.
2019-10-28scripts: Change to the top source directory as neededteor
Bugfix on 31919; not in any released version of tor.
2019-10-24scripts/git: Make spaces consistent in pre-push.git-hookteor
Part of 31919.
2019-10-24scripts/git: Only check modified files in existing git hook checksteor
Part of 31919.
2019-10-24scripts/git: Add check_cocci_parse.sh to the pre-commit hookteor
But only check modified files, which dramatically speeds up check_cocci_parse.sh. Part of 31919.
2019-08-20scripts/git: Remove a duplicate practracker call from the pre-push hookteor
The pre-push hook already calls the pre-commit hook, which calls practracker. Also update the script comments to avoid similar issues in future. Fixes bug 31462; bugfix on 0.4.1.1-alpha.
2019-08-08pre-push hook: Only run practracker when a special file is presentNick Mathewson
Closes ticket 30979.
2019-06-17Merge branch 'ticket29533_squashed'Nick Mathewson
2019-06-17Fix SC2034 in pre-push.git-hookrl1987
2019-06-11scripts/git: Stop hard-coding the bash path in the git scriptsteor
Some OSes don't have bash in /usr/bin, others have an ancient bash at this path. Fixes bug 30840; bugfix on 0.4.0.1-alpha.
2019-06-05Document TOR_UPSTREAM_REMOTE_NAME env variablerl1987
2019-05-11pre-push.git-hook: Check remote name to see if it's upstreamrl1987
2019-05-01pre-push.git-hook: Allow fixup and squash commits when pushing to ↵rl1987
non-upstream branches
2019-04-23Call practracker from pre-push and pre-commit hooksrl1987
2019-04-05Call pre-commit hook from pre-push scriptrl1987
2019-03-10Move all git maintenance scripts to separate directoryrl1987