Bug#910676: link to search in https://www.debian.org/Bugs/ not working (bugs-search.debian.org service not available)
Laura Arjona Reina <[email protected]>
| Newsgroups | gmane.linux.debian.devel.www |
|---|---|
| Message-ID | <b60a211d-9800-8c88-c190-f8d7f814e978__35157.6855210171$1539110956$gmane$org@debian.org> |
Hello again Diff attached with the proposal change for /english/Bugs/index.wml (remove the current paragraph, add a new paragraph linking to UDD search). If there are no objections, I will commit it in some days. Cheers -- Laura Arjona Reina https://wiki.debian.org/LauraArjona
index.diff
(text/x-patch, 880 B)
diff --git a/english/Bugs/index.wml b/english/Bugs/index.wml index f56162ff324..b7fe8418501 100644 --- a/english/Bugs/index.wml +++ b/english/Bugs/index.wml @@ -119,9 +119,15 @@ forms, respectively:</p> <h2>Searching bug reports</h2> -<p>You can search bug reports using -our <a href="https://bugs.debian.org/cgi-bin/search.cgi">HyperEstraier -based search engine.</a></p> +## Link to bugs-search.d.o removed because of Bug#910676 (service down): +# +# <p>You can search bug reports using +# our <a href="https://bugs.debian.org/cgi-bin/search.cgi">HyperEstraier +# based search engine.</a></p> +# + +<p>The Ultimate Debian Database (UDD) provides a multi-criteria +<a href="https://udd.debian.org/bugs/">search engine for bugs</a>.</p> <p>Another way to search bug reports is to use <a href="https://groups.google.com/d/forum/linux.debian.bugs.dist">Google Groups</a>.