[tor-bugs] #32737 [Internal Services/Service - git]: Please remove wrongly pushed branches from the tor-browser repo
Tor Bug Tracker & Wiki
blackhole at torproject.org
Mon Dec 16 16:38:01 UTC 2019
#32737: Please remove wrongly pushed branches from the tor-browser repo
---------------------------------------------+-----------------------------
Reporter: gk | Owner: tor-gitadm
Type: defect | Status:
| needs_information
Priority: Medium | Milestone:
Component: Internal Services/Service - git | Version:
Severity: Normal | Resolution:
Keywords: | Actual Points:
Parent ID: | Points:
Reviewer: | Sponsor:
---------------------------------------------+-----------------------------
Changes (by irl):
* status: new => needs_information
Comment:
A request to delete "master" should probably be signed, I'm not familiar
enough with the repo to know the policies there. This is not obviously the
correct thing to do to me.
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/32737#comment:1>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list