teor c98724b022 scripts/git: Cleanup and fix minor git scripts issues ...

Fix typos, clean up formatting, rewrite some comments, add headings.

Preparation for 31314.

2019-08-29 22:42:37 +10:00

..

git-merge-forward.sh

scripts/git: Cleanup and fix minor git scripts issues

2019-08-29 22:42:37 +10:00

git-pull-all.sh

Stop hard-coding env vars in the git scripts

2019-06-11 14:34:44 +10:00

git-push-all.sh

scripts/git: Cleanup and fix minor git scripts issues

2019-08-29 22:42:37 +10:00

post-merge.git-hook

Early exit from post-merge git hook script when not merging to master

2019-07-02 20:06:23 +03:00

pre-commit.git-hook

Merge remote-tracking branch 'tor-github/pr/1241'

2019-08-26 10:15:25 -04:00

pre-push.git-hook

scripts/git: Remove a duplicate practracker call from the pre-push hook

2019-08-20 12:21:02 +10:00