[wwwdocs,pushed] Patch for Re: US mirror sites missing newer versions

On Thu, 6 Feb 2025, Michael Leuchtenburg via Gcc wrote:
> I'm updating some automation around gcc builds with the current version and
> noticed that the US mirrors don't have the 14.2.0 release. For your
> convenience, here are links to the three mirrors:
> https://bigsearcher.com/mirrors/gcc/releases/gcc-14.2.0/

Thank you for the report, Michael, which originally slipped through on my 
end (and apparently everyone else's).

[email protected] - is this a "temporary" issue you are planning to 
address? 

For the time being I'm remove the mirror from the GCC mirror list per the 
patch below; happy to restore once it's mirroring again. And in any case: 
thank you for your support in the past.

Gerald


Pushed.

commit 992ba747842206cfc7f6f53576508b04bd85436c
Author: Gerald Pfeifer <[email protected]>
Date:   Thu Aug 20 22:21:18 2026 +0200

    mirrors: Drop bigsearcher.com
    
    First reported to lack a current release in February 2025, 18 months ago.

diff --git a/htdocs/mirrors.html b/htdocs/mirrors.html
index 2bca0c6bf..798920909 100644
--- a/htdocs/mirrors.html
+++ b/htdocs/mirrors.html
@@ -38,7 +38,6 @@ mirrors</a>.</p>
   thanks to Martin ([email protected]) at KoDDoS.</li>
 <li>The Netherlands, Nijmegen: <a href="https://ftp.nluug.nl/languages/gcc/">ftp.nluug.nl</a>, thanks to Jan Cristiaan van Winkel ([email protected])</li>
 <li>UK: <a href="https://mirrorservice.org/sites/sourceware.org/pub/gcc/">mirrorservice.org</a>, thanks to [email protected]</li>
-<li>US, San Francisco: <a href="https://bigsearcher.com/mirrors/gcc/">https://bigsearcher.com/mirrors/gcc/</a>, thanks to [email protected]</li>
 </ul>
 
 <p>The archives there will be signed by one of the following GnuPG keys:</p>