rl1987 6f1527f888 pre-push.git-hook: Check remote name to see if it's upstream

2019-05-11 18:58:14 +03:00

..

git-merge-forward.sh

Merge branch 'tor-github/pr/780'

2019-03-13 16:07:19 +02:00

git-pull-all.sh

scripts: In git-pull-all.sh, also fetch the latest tor-github pull requests

2019-04-10 19:26:47 +10:00

git-push-all.sh

Move all git maintenance scripts to separate directory

2019-03-10 18:28:06 +02:00

post-merge.git-hook

Disable git diff pagination

2019-03-10 18:28:07 +02:00

pre-commit.git-hook

Merge branch 'tor-github/pr/930'

2019-04-24 09:39:32 -04:00

pre-push.git-hook

pre-push.git-hook: Check remote name to see if it's upstream

2019-05-11 18:58:14 +03:00