teor 70387054b9 scripts/git: Make the git push command and args configurable ...

TOR_GIT_PUSH provides the git push command and default arguments.

Also fix handling of git-push-all.sh script arguments and arguments that
are passed through to $TOR_GIT_PUSH, using a "--" argument as a separator.

Fix on 29879.

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

..

git-merge-forward.sh

scripts/git: Allow git-merge-forward.sh to re-use existing test branches

2019-08-29 22:47:50 +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: Make the git push command and args configurable

2019-08-29 22:50: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