6 Commits

Author	SHA1	Message	Date
teor	973800b847	scripts/git: Stop hard-coding the bash path in the git scripts ... Some OSes don't have bash in /usr/bin, others have an ancient bash at this path. Fixes bug 30840; bugfix on 0.4.0.1-alpha.	2019-06-11 14:29:10 +10:00
Nick Mathewson	0635170cf1	Add an environment variable to set GIT_PATH in git scripts	2019-06-10 09:05:26 -04:00
Nick Mathewson	46da530431	Update git scripts for new versions ... {maint,release}-0.4.1 are now real {maint,release}-0.3.4 are now EOL Closes ticket 30822	2019-06-10 09:01:17 -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
George Kadianakis	26b0d95397	Merge branch 'tor-github/pr/780'	2019-03-13 16:07:19 +02:00
rl1987	888bb9508b	Move all git maintenance scripts to separate directory	2019-03-10 18:28:06 +02:00