summaryrefslogtreecommitdiff
path: root/scripts/git
AgeCommit message (Expand)Author
2019-08-08pre-push hook: Only run practracker when a special file is presentNick Mathewson
2019-07-02Early exit from post-merge git hook script when not merging to masterrl1987
2019-06-17Merge branch 'ticket29533_squashed'Nick Mathewson
2019-06-17Fix SC2034 in pre-push.git-hookrl1987
2019-06-11Stop hard-coding env vars in the git scriptsteor
2019-06-11scripts/git: Stop hard-coding the bash path in the git scriptsteor
2019-06-10Add an environment variable to set GIT_PATH in git scriptsNick Mathewson
2019-06-10push-all: Use TOR_UPSTREAM_REMOTE_NAME to override UPSTREAM_BRANCHNick Mathewson
2019-06-10Update git scripts for new versionsNick Mathewson
2019-06-05Document TOR_UPSTREAM_REMOTE_NAME env variablerl1987
2019-05-11pre-push.git-hook: Check remote name to see if it's upstreamrl1987
2019-05-01pre-push.git-hook: Allow fixup and squash commits when pushing to non-upstrea...rl1987
2019-04-24Merge branch 'tor-github/pr/930'David Goulet
2019-04-23Call practracker from pre-push and pre-commit hooksrl1987
2019-04-18Merge branch 'tor-github/pr/925'George Kadianakis
2019-04-10Fix pre-commit hook to correctly allow empty changes files.Nick Mathewson
2019-04-10scripts: In git-pull-all.sh, also fetch the latest tor-github pull requeststeor
2019-04-05Call pre-commit hook from pre-push scriptrl1987
2019-03-13Merge branch 'tor-github/pr/780'George Kadianakis
2019-03-10Disable git diff paginationrl1987
2019-03-10Using diff -u in check_for_diffsrl1987
2019-03-10Iterate over contents of scripts/git with check_for_script_update functionrl1987
2019-03-10Move all git maintenance scripts to separate directoryrl1987
7apu2bq3rhoylwmucxizk54afw5jyda7pho4j5zdcqpwkufke7zdzwad.onion