Auto merge of rust-lang#8870 - Serial-ATA:issue-8865, r=xFrednet

Strip `clippy::` prefix from search strings changelog: none closes: rust-lang#8865 r? `@xFrednet`
flip1995 · May 23, 2022 · 3642e33 · 3642e33
2 parents 91644d1 + 0fd03a8
commit 3642e33
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js
@@ -232,6 +232,9 @@
                     return true;
                 }
                 searchStr = searchStr.toLowerCase();
+                if (searchStr.startsWith("clippy::")) {
+                    searchStr = searchStr.slice(8);
+                }
 
                 // Search by id
                 if (lint.id.indexOf(searchStr.replace("-", "_")) !== -1) {