5 Commits

Author	SHA1	Message	Date
George Kadianakis	26b0d95397	Merge branch 'tor-github/pr/780'	2019-03-13 16:07:19 +02:00
rl1987	0befdb8a35	Disable git diff pagination	2019-03-10 18:28:07 +02:00
rl1987	537692c1e3	Using diff -u in check_for_diffs	2019-03-10 18:28:07 +02:00
rl1987	5f253f6a47	Iterate over contents of scripts/git with check_for_script_update function	2019-03-10 18:28:06 +02:00
rl1987	888bb9508b	Move all git maintenance scripts to separate directory	2019-03-10 18:28:06 +02:00