[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]
Re: [tor-bugs] #33101 [Internal Services/Service - git]: gitweb.tpo lists ghost arma repos
#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
_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs