tor/scripts/git
Nick Mathewson 78c9ff7052
Add a script to install the scripts in scripts/git appropriately.
To run this, say something like

   TOR_DEVTOOL_DIR=~/bin scripts/git/git-install-tools.sh all

To see what it would do, give it the -n flag.

To get help, give it the -h flag.
2020-03-13 11:14:04 +10:00
..
git-install-tools.sh Add a script to install the scripts in scripts/git appropriately. 2020-03-13 11:14:04 +10:00
git-merge-forward.sh Update scripts/git/*.sh to know about 043 and not about 040. 2020-02-11 10:52:42 -05:00
git-pull-all.sh Update scripts/git/*.sh to know about 043 and not about 040. 2020-02-11 10:52:42 -05:00
git-push-all.sh Update scripts/git/*.sh to know about 043 and not about 040. 2020-02-11 10:52:42 -05:00
git-setup-dirs.sh Update scripts/git/*.sh to know about 043 and not about 040. 2020-02-11 10:52:42 -05:00
post-merge.git-hook Early exit from post-merge git hook script when not merging to master 2019-07-02 20:06:23 +03:00
pre-commit.git-hook Git hooks: remove support for 0.2.9 directory layout. 2020-01-23 10:28:09 -05:00
pre-push.git-hook scripts/git: Stop running the checked-out git scripts 2020-02-12 20:37:21 +10:00