| .. |
|
git-merge-forward.sh
|
26b0d95397
Merge branch 'tor-github/pr/780'
|
6 years ago |
|
git-pull-all.sh
|
5722c6d12d
scripts: In git-pull-all.sh, also fetch the latest tor-github pull requests
|
6 years ago |
|
git-push-all.sh
|
888bb9508b
Move all git maintenance scripts to separate directory
|
6 years ago |
|
post-merge.git-hook
|
0befdb8a35
Disable git diff pagination
|
6 years ago |
|
pre-commit.git-hook
|
888bb9508b
Move all git maintenance scripts to separate directory
|
6 years ago |
|
pre-push.git-hook
|
705c1c28c7
Call pre-commit hook from pre-push script
|
6 years ago |
George Kadianakis
2db9bb02c7
Merge branch 'tor-github/pr/925'