tor/scripts/git
2019-05-01 14:01:30 +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: Allow fixup and squash commits when pushing to non-upstream branches 2019-05-01 14:01:30 +03:00