#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
_______________________________________________
tor-bugs mailing list
tor-bugs@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs
