| .. |
|
git-merge-forward.sh
|
26b0d95397
Merge branch 'tor-github/pr/780'
|
5 lat temu |
|
git-pull-all.sh
|
5722c6d12d
scripts: In git-pull-all.sh, also fetch the latest tor-github pull requests
|
5 lat temu |
|
git-push-all.sh
|
888bb9508b
Move all git maintenance scripts to separate directory
|
5 lat temu |
|
post-merge.git-hook
|
0befdb8a35
Disable git diff pagination
|
5 lat temu |
|
pre-commit.git-hook
|
4587e67dfd
Merge branch 'tor-github/pr/930'
|
5 lat temu |
|
pre-push.git-hook
|
e8aab46a3a
Document TOR_UPSTREAM_REMOTE_NAME env variable
|
5 lat temu |
rl1987
e8aab46a3a
Document TOR_UPSTREAM_REMOTE_NAME env variable