Age | Commit message (Expand) | Author |
---|---|---|
2019-06-05 | Document TOR_UPSTREAM_REMOTE_NAME env variable | rl1987 |
2019-05-11 | pre-push.git-hook: Check remote name to see if it's upstream | rl1987 |
2019-05-01 | pre-push.git-hook: Allow fixup and squash commits when pushing to non-upstrea... | rl1987 |
2019-04-24 | Merge branch 'tor-github/pr/930' | David Goulet |
2019-04-23 | Call practracker from pre-push and pre-commit hooks | rl1987 |
2019-04-18 | Merge branch 'tor-github/pr/925' | George Kadianakis |
2019-04-10 | Fix pre-commit hook to correctly allow empty changes files. | Nick Mathewson |
2019-04-10 | scripts: In git-pull-all.sh, also fetch the latest tor-github pull requests | teor |
2019-04-05 | Call pre-commit hook from pre-push script | rl1987 |
2019-03-13 | Merge branch 'tor-github/pr/780' | George Kadianakis |
2019-03-10 | Disable git diff pagination | rl1987 |
2019-03-10 | Using diff -u in check_for_diffs | rl1987 |
2019-03-10 | Iterate over contents of scripts/git with check_for_script_update function | rl1987 |
2019-03-10 | Move all git maintenance scripts to separate directory | rl1987 |