[tor-commits] [tor/master] Merge branch 'tor-github/pr/1720'

[dgoulet at torproject.org]

commit a62e3e45e6dd21ea018241c0aafe728c99a2a183
Merge: ba8d71d9c d9152b8a6
Author: David Goulet <dgoulet at 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(-)