[tor-bugs] #31519 [Core Tor/Tor]: git-push-all.sh: shellcheck warnings

[Tor Bug Tracker & Wiki]

#31519: git-push-all.sh: shellcheck warnings
------------------------------+--------------------------------
     Reporter:  nickm         |      Owner:  nickm
         Type:  defect        |     Status:  assigned
     Priority:  Medium        |  Milestone:  Tor: 0.4.2.x-final
    Component:  Core Tor/Tor  |    Version:
     Severity:  Normal        |   Keywords:
Actual Points:                |  Parent ID:
       Points:                |   Reviewer:
      Sponsor:                |
------------------------------+--------------------------------
 We've got a bunch of shellcheck warnings here since I merged #29879.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/31519>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online