[tor-bugs] #18838 [Internal Services/Service - git]: Please delete more expired branches
Tor Bug Tracker & Wiki
blackhole at torproject.org
Mon Jun 13 08:13:25 UTC 2016
#18838: Please delete more expired branches
---------------------------------------------+----------------------------
Reporter: arlolra | Owner: tor-gitadm
Type: defect | Status: closed
Priority: Medium | Milestone:
Component: Internal Services/Service - git | Version:
Severity: Normal | Resolution: fixed
Keywords: | Actual Points:
Parent ID: | Points:
Reviewer: | Sponsor:
---------------------------------------------+----------------------------
Changes (by weasel):
* status: new => closed
* resolution: => fixed
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/18838#comment:1>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list