[tor-bugs] #33101 [Internal Services/Service - git]: gitweb.tpo lists ghost arma repos
Tor Bug Tracker & Wiki
blackhole at torproject.org
Thu Jan 30 05:21:47 UTC 2020
#33101: gitweb.tpo lists ghost arma repos
---------------------------------------------+----------------------------
Reporter: arma | Owner: tor-gitadm
Type: defect | Status: new
Priority: Medium | Milestone:
Component: Internal Services/Service - git | Version:
Severity: Normal | Resolution:
Keywords: | Actual Points:
Parent ID: | Points:
Reviewer: | Sponsor:
---------------------------------------------+----------------------------
Comment (by Sebastian):
Repo deletion requires manual deletion from the gitweb host, probably
someone forgot when moving the repo? I can poke at it in a few days if
nobody beats me to it
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/33101#comment:1>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list