[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        |     Resolution:
 Keywords:                |  Actual Points:  0
Parent ID:                |         Points:
 Reviewer:                |        Sponsor:
--------------------------+------------------------------------
Changes (by nickm):

 * actualpoints:   => 0


Comment:

 See branch `bug31519` with PR at
 https://github.com/torproject/tor/pull/1263

 I chose to disable some of the warnings rather than "fix" them, since the
 correct "fix" would require significant refactoring in the script.  (It's
 safe to disable the warnings, since we know that our branch names do not
 have spaces in them.)

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