commit a62e3e45e6dd21ea018241c0aafe728c99a2a183 Merge: ba8d71d9c d9152b8a6 Author: David Goulet <dgoulet@torproject.org> Date: Thu Mar 5 10:29:42 2020 -0500 Merge branch 'tor-github/pr/1720' scripts/git/git-list-tor-branches.sh | 153 +++++++++++++++++++++++++++++++++++ scripts/git/git-merge-forward.sh | 77 ++---------------- scripts/git/git-pull-all.sh | 59 +------------- scripts/git/git-push-all.sh | 51 ++++-------- scripts/git/git-setup-dirs.sh | 48 +---------- 5 files changed, 182 insertions(+), 206 deletions(-)