#28212: Remove (rm) admin/userdir-ldap ---------------------------------------------+---------------------------- Reporter: ln5 | Owner: tor-gitadm Type: task | Status: new Priority: Medium | Milestone: Component: Internal Services/Service - git | Version: Severity: Normal | Resolution: Keywords: | Actual Points: Parent ID: | Points: Reviewer: | Sponsor: ---------------------------------------------+----------------------------
Comment (by ln5): After getting OK from hiro, I rm'd /srv/git.torproject.org/repositories/admin/userdir-ldap.git on cupani and pushed a new repo. cgit and/or git-daemon seem unhappy about this though. {{{ $ git clone https://git.torproject.org/admin/userdir-ldap Cloning into 'userdir-ldap'... fatal: repository 'https://git.torproject.org/admin/userdir-ldap/' not found }}} https://gitweb.torproject.org/admin/userdir-ldap.git/ is similarly sad. What's the magic that needs to be done? -- Ticket URL: <https://trac.torproject.org/projects/tor/ticket/28212#comment:1> 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