[tor-bugs] #29879 [Core Tor/Tor]: Make git-push-all.sh push branches in a specific order

[Tor Bug Tracker & Wiki]

#29879: Make git-push-all.sh push branches in a specific order
------------------------------+---------------------------------------
     Reporter:  teor          |      Owner:  (none)
         Type:  enhancement   |     Status:  new
     Priority:  Medium        |  Milestone:  Tor: 0.4.1.x-final
    Component:  Core Tor/Tor  |    Version:
     Severity:  Normal        |   Keywords:  tor-ci, tor-merge-scripts
Actual Points:                |  Parent ID:
       Points:  0.1           |   Reviewer:
      Sponsor:                |
------------------------------+---------------------------------------
 git-push-all.sh currently pushes all the branches at once. Then GitHub
 sends requests to build each branch to Travis and Appveyor.

 Depending on the exact order of the push and network requests, branches
 are built in an arbitrary order.

 Ideally, we want to push branches in this order:
 * master
   * practracker errors
   * errors that appear when merging backports to a later release
 * maint branches, in order from the earliest release, to the most recent
 release
   * errors that appear when merging the PR into code that was added after
 the PR merge was build
 * release branches, in the same order

 So we should push branches in a for loop, with a sleep between each
 branch. On high-latency networks (me!), the sleep might need to be a few
 seconds long.

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