[tor-bugs] #26867 [Core Tor/Tor]: Delete the ticket26223 branch in git.torproject.org/tor.git

[Tor Bug Tracker & Wiki]

#26867: Delete the ticket26223 branch in git.torproject.org/tor.git
------------------------------+--------------------------------
     Reporter:  teor          |      Owner:  nickm
         Type:  defect        |     Status:  assigned
     Priority:  Medium        |  Milestone:  Tor: 0.3.5.x-final
    Component:  Core Tor/Tor  |    Version:
     Severity:  Normal        |   Keywords:
Actual Points:                |  Parent ID:
       Points:                |   Reviewer:
      Sponsor:                |
------------------------------+--------------------------------
 Hi nickm,

 It looks like you accidentally pushed ticket26223 to the canonical
 tor.git:
 https://gitweb.torproject.org/tor.git/log/?h=ticket26223

 We should check if it disappears from github once it's deleted. If not, I
 can delete it there.

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