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