[tor-bugs] #31678 [Core Tor/Tor]: Allow git-push-all.sh to be run from any directory

[Tor Bug Tracker & Wiki]

#31678: Allow git-push-all.sh to be run from any directory
------------------------------+------------------------------------
     Reporter:  teor          |      Owner:  teor
         Type:  enhancement   |     Status:  assigned
     Priority:  Medium        |  Milestone:  Tor: 0.4.2.x-final
    Component:  Core Tor/Tor  |    Version:
     Severity:  Normal        |   Keywords:  git-scripts, dev-tools
Actual Points:  0             |  Parent ID:  #31677
       Points:  0             |   Reviewer:
      Sponsor:                |
------------------------------+------------------------------------
 Previously, the script could only be run from one of the worktree
 directories.

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