I am writing to inquire as to how I can remove a private mirror listing for a retired server called
pingu.salk.edu. The person who submitted the original request for our site is no longer here, and is not reachable.
After looking through the mirror management site, I noticed that I would likely need an account in order to manage our private mirror listing. Since I did not originally submit the private mirror request, I’m not sure how to proceed with removal
of the private mirror listing. Please let me know what the next steps should be. My contact information is included below.