Opened 8 months ago

Closed 8 months ago

#33101 closed defect (fixed)

gitweb.tpo lists ghost arma repos

Reported by: arma Owned by: tor-gitadm
Priority: Medium Milestone:
Component: Internal Services/Service - git Version:
Severity: Normal Keywords:
Cc: Actual Points:
Parent ID: Points:
Reviewer: Sponsor:

Description

https://gitweb.torproject.org/
lists an "arma/tor" and an "arma/torspec", with no description string.

And then a little bit lower it lists "user/arma/tor" and "user/arma/torspec".

I'm looking at the gitolite-admin/conf/gitolite.conf file and it lists the user/arma/tor* ones but not the others.

Where do the arma/tor* ones come from? Can we get rid of them? I kind of think we already got rid of them but they are back somehow.

(Reported by ln5 who got snookered into thinking the arma/tor* ones were the ones he should use.)

Child Tickets

Change History (3)

comment:1 Changed 8 months ago 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

comment:2 Changed 8 months ago by arma

#6111 is apparently where it got done (finished 16 months ago)

comment:3 Changed 8 months ago by Sebastian

Resolution: fixed
Status: newclosed

I removed a nickm ghost repo as well

Note: See TracTickets for help on using tickets.