Replace the "git pull" by one single "git fetch origin" and then "git merge" into each defined branches. This speeds up the process considerably. Closes #29616 Signed-off-by: David Goulet <dgoulet@torproject.org>
It is EOL today: Febuary 28th, 2019 No more releases will occur. Closes #29616 Signed-off-by: David Goulet <dgoulet@torproject.org>
Closes #29391 Signed-off-by: David Goulet <dgoulet@torproject.org>