summaryrefslogtreecommitdiff
path: root/scripts/git
AgeCommit message (Expand)Author
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