| .. |
|
git-merge-forward.sh
|
26b0d95397
Merge branch 'tor-github/pr/780'
|
5 years ago |
|
git-pull-all.sh
|
5722c6d12d
scripts: In git-pull-all.sh, also fetch the latest tor-github pull requests
|
5 years ago |
|
git-push-all.sh
|
888bb9508b
Move all git maintenance scripts to separate directory
|
5 years ago |
|
post-merge.git-hook
|
0befdb8a35
Disable git diff pagination
|
5 years ago |
|
pre-commit.git-hook
|
4587e67dfd
Merge branch 'tor-github/pr/930'
|
5 years ago |
|
pre-push.git-hook
|
a85cd5b41b
Call practracker from pre-push and pre-commit hooks
|
5 years ago |
David Goulet
4587e67dfd
Merge branch 'tor-github/pr/930'