summaryrefslogtreecommitdiff
path: root/scripts
AgeCommit message (Expand)Author
2019-09-16Merge branch 'tor-github/pr/1313'George Kadianakis
2019-09-16Merge branch 'tor-github/pr/1312'George Kadianakis
2019-09-11Merge branch 'ticket31578' into ticket31578_mergedNick Mathewson
2019-09-10scripts: Make checkShellScripts.sh error exit if it can't find srcteor
2019-09-10scripts: Allow checkShellScripts.sh to be run from its parent directoryteor
2019-09-10scripts: Make the git scripts show usage messagesteor
2019-09-10scripts: reformat the comments in git-pull-all.sh for consistencyteor
2019-09-10scripts: Improve a usage message in git-push-all.shteor
2019-09-10scripts: Allow git-push-all.sh to be run from any directoryteor
2019-09-09Merge branch 'tor-github/pr/1264'David Goulet
2019-09-09Merge branch 'ticket30924_042_04_squashed' into ticket30924_042_04_squashed_m...Nick Mathewson
2019-09-09practracker: Make you happy funny scriptDavid Goulet
2019-09-05New practracker exceptions for dependency violations in headersNick Mathewson
2019-09-05Fix a bug in practracker's handling of .may_include in headersNick Mathewson
2019-09-05shellcheck: Add shellcheck to the pre-commit hookteor
2019-09-04Merge branch 'tor-github/pr/1246'David Goulet
2019-09-02practracker: handle empty files.Nick Mathewson
2019-09-02practracker: Fix indentation in util.pyNick Mathewson
2019-09-02Practracker: only consider files under "src/"Nick Mathewson
2019-08-29practracker: make filename terminology uniformNick Mathewson
2019-08-29scripts/git: fix shellcheck issues in git-push-all.shteor
2019-08-29scripts/git: fix an env var typo in git-merge-forward.shteor
2019-08-29scripts/git: Quote shell arguments where possibleteor
2019-08-29scripts/git: Improve usage documentation for merge-forward and push-allteor
2019-08-29scripts/git: Let git-push-all.sh skip unchanged test branchesteor
2019-08-29scripts/git: Make the git push command and args configurableteor
2019-08-29scripts/git: Allow git-merge-forward.sh to re-use existing test branchesteor
2019-08-29scripts/git: Add test branch support to the git scriptsteor
2019-08-29scripts/git: Cleanup and fix minor git scripts issuesteor
2019-08-26Add integration tests for new practracker featuresNick Mathewson
2019-08-26Merge branch 'tor-github/pr/1263'George Kadianakis
2019-08-26Merge remote-tracking branch 'tor-github/pr/1241'Nick Mathewson
2019-08-26Fix/suppress shellcheck warnings in git-push-all.shNick Mathewson
2019-08-26Merge branch 'tor-github/pr/1254'David Goulet
2019-08-24Merge remote-tracking branch 'tor-github/pr/1215'Nick Mathewson
2019-08-22Merge branch 'ticket30935' into ticket30935_mergedNick Mathewson
2019-08-22Merge branch 'tor-github/pr/1244'David Goulet
2019-08-21Document new practracker violation types, and add a practracker readmeNick Mathewson
2019-08-21Merge branch 'ticket31176' into ticket31176_mergedNick Mathewson
2019-08-20Merge branch 'ticket30914' into ticket30914_mergedNick Mathewson
2019-08-20scripts/git: Remove a duplicate practracker call from the pre-push hookteor
2019-08-19Merge remote-tracking branch 'tor-github/pr/1224'Nick Mathewson
2019-08-19Merge remote-tracking branch 'tor-github/pr/1235'Nick Mathewson
2019-08-19Merge branch 'tor-github/pr/1220'George Kadianakis
2019-08-19Merge remote-tracking branch 'mike/bug31356+logs-rebased2' into bug31356_finalGeorge Kadianakis
2019-08-19practracker: Make exceptions.txt happyDavid Goulet
2019-08-12PractrackerMike Perry
2019-08-08Move the connection_edge_process_relay_cell() assignments out of if statement...Neel
2019-08-08pre-push hook: Only run practracker when a special file is presentNick Mathewson
2019-08-08scripts/git: add TOR_PUSH_DELAY to git-push-all.shteor