6 Commits

Author	SHA1	Message	Date
Alexander Færøy	22552ad88e	Update scripts to use main instead of master. ... When talking about the "master" Tor checkout, we now refer to it as "the primary Tor repository". The "master" branch is instead called "main". See: tpo/core/team#2.	2021-05-25 00:20:58 +00:00
rl1987	59e523f058	Early exit from post-merge git hook script when not merging to master	2019-07-02 20:06:23 +03: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