aboutsummaryrefslogtreecommitdiff
path: root/scripts/maint
AgeCommit message (Expand)Author
2019-03-26Merge remote-tracking branch 'tor-github/pr/833'teor
2019-03-26Merge branch 'tor-github/pr/839'George Kadianakis
2019-03-25Merge branch 'practracker_comments'Nick Mathewson
2019-03-25practracker: allow comments in exceptions fileNick Mathewson
2019-03-25practracker: sort filenames and directories.Nick Mathewson
2019-03-25Merge remote-tracking branch 'tor-github/pr/785'teor
2019-03-22Set file encoding in practracker.pyTaylor Yu
2019-03-15Satisfy practracker broken by #29665 and #28656.George Kadianakis
2019-03-14practracker: Create an exception for an as-yet-nonexistent file.Nick Mathewson
2019-03-14practracker: Be compatible with python2 which is used by travis/jenkins.George Kadianakis
2019-03-13Merge branch 'tor-github/pr/780'George Kadianakis
2019-03-13Merge branch 'bug29221_more_squashed'Nick Mathewson
2019-03-13practracker: Fix duplicate exceptions and handle them more "gracefully".George Kadianakis
2019-03-13grandfather in two more functionsNick Mathewson
2019-03-13Improve failure message from check-best-practicesNick Mathewson
2019-03-13practracker: Be more careful about excluding "confusing terms"Nick Mathewson
2019-03-13practracker: Improvements based on last Nick's review.George Kadianakis
2019-03-13practracker: Update exceptions file :)George Kadianakis
2019-03-13practracker: Normalize filesystem paths across Windows and Posix.George Kadianakis
2019-03-13practracker: Improve documentation in problem.py .George Kadianakis
2019-03-13Fold in an initial practracker exceptions file.George Kadianakis
2019-03-13Call practracker as part of check-local.George Kadianakis
2019-03-12Make checkSpace.pl check guard macros:Nick Mathewson
2019-03-12Fix shellcheck warnings in pull-all/merge-all scriptsNick Mathewson
2019-03-10Move all git maintenance scripts to separate directoryrl1987
2019-03-10Mention what file has changedrl1987
2019-03-10Write a comment for post-merge.git-hookrl1987
2019-03-10Also print changes in git helper scripts, if anyrl1987
2019-03-10Add post-merge git hook to warn about git hooks being updated in the reporl1987
2019-03-08Merge remote-tracking branch 'tor-github/pr/743'Nick Mathewson
2019-03-05Merge branch 'tor-github/pr/717'David Goulet
2019-03-05Also disallow pushing to/from upstream branch when branch names do not matchrl1987
2019-03-05Improve pre-push.git-hook descriptionrl1987
2019-03-05In pre-push hook script, actually check local and remote refsrl1987
2019-03-05Update git pre-push hook so that only upstream branches can get pushed to originrl1987
2019-03-01maint: Make git scripts fetch origin onceDavid Goulet
2019-02-28maint: Remove 0.3.3 branch from git scriptsDavid Goulet
2019-02-28Merge branch 'tor-github/pr/720'George Kadianakis
2019-02-27Exit with 1 if new issues were found. Also work with python3.George Kadianakis
2019-02-27Improve metrics implementation.George Kadianakis
2019-02-27Add more intelligent problem tracking.George Kadianakis
2019-02-27Improve #include counting func and move it to metrics.py.George Kadianakis
2019-02-27Add some failing unittests for the function length metric.George Kadianakis
2019-02-27Initial commit of practracker.py .George Kadianakis
2019-02-26maint: Helpful scripts for tor maintenanceDavid Goulet
2019-02-21Update pre-commit.git-hook for ticket 29553Nick Mathewson
2019-01-24Merge branch 'precommit_squashed'Nick Mathewson
2019-01-24Only run the checkIncludes.py script if it existsNick Mathewson
2019-01-24lintChanges.py didn't take a directory argument in 0.2.9Nick Mathewson
2019-01-24Also run checkInclude.py before every commitrl1987