11 Commits

Author	SHA1	Message	Date
David Goulet	4587e67dfd	Merge branch 'tor-github/pr/930'	2019-04-24 09:39:32 -04:00
rl1987	a85cd5b41b	Call practracker from pre-push and pre-commit hooks	2019-04-23 12:51:29 -04:00
George Kadianakis	2db9bb02c7	Merge branch 'tor-github/pr/925'	2019-04-18 13:22:54 +03:00
Nick Mathewson	98e08b452f	Fix pre-commit hook to correctly allow empty changes files. ... Fixes bug 30120; bugfix not in any released Tor.	2019-04-10 11:49:23 -04:00
teor	5722c6d12d	scripts: In git-pull-all.sh, also fetch the latest tor-github pull requests ... Implements ticket 30114.	2019-04-10 19:26:47 +10:00
rl1987	705c1c28c7	Call pre-commit hook from pre-push script	2019-04-05 18:59:48 +03:00
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