I have removed the mirror from the database.
On Thu, Apr 30, 2015 at 12:24:56AM +0000, Fernando Flores wrote:
Please proceed with deleting the mirror from your database. We have decommissioned the
pingu.salk.edu<http://pingu.salk.edu> server and do not have plans to host private
mirrors on our site.
Information Technology Dept.
The Salk Institute for Biological Studies
On Apr 29, 2015, at 00:17 AM, Adrian Reber
On Tue, Apr 28, 2015 at 09:57:32PM +0000, Fernando Flores wrote:
I am writing to inquire as to how I can remove a private mirror listing for a retired
server called pingu.salk.edu<http://pingu.salk.edu><http://pingu.salk.edu>.
The person who submitted the original request for our site is no longer here, and is not
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
If you want to create an account we can add you as admin to your mirror
and you can then delete it. To just create an account to delete a mirror
seems like overkill and if you like I can just delete your mirror from