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