[tor-bugs] #29531 [Internal Services/Service - git]: Remove accidentally pushed branch `bug29145_029` from tor.git

[Tor Bug Tracker & Wiki]

#29531: Remove accidentally pushed branch `bug29145_029` from tor.git
-------------------------------------------------+------------------------
     Reporter:  nickm                            |      Owner:  tor-gitadm
         Type:  task                             |     Status:  new
     Priority:  Medium                           |  Milestone:
    Component:  Internal Services/Service - git  |    Version:
     Severity:  Normal                           |   Keywords:
Actual Points:                                   |  Parent ID:
       Points:                                   |   Reviewer:
      Sponsor:                                   |
-------------------------------------------------+------------------------
 This should not have been pushed to the main repository :(

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