[tor-bugs] #33722 [Internal Services/Service - git]: Please delete branch travis-ci from metrics-cloud.git

[Tor Bug Tracker & Wiki]

#33722: Please delete branch travis-ci from metrics-cloud.git
-------------------------------------------------+------------------------
     Reporter:  irl                              |      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:                                   |
-------------------------------------------------+------------------------
 I used this to set up the Travis without messing up master, but forgot I
 wouldn't be able to delete it afterwards. In the future it looks like pull
 requests would work equally well.

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