chore: remove meta results for README proof_wanted link (#1112)

leanprover-community · Feb 1, 2025 · 43dc9fd · 43dc9fd
1 parent f133cf2
commit 43dc9fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -60,7 +60,7 @@ _nothing else_.
 This will remove the previous label and replace it by the requested status label.
 
 One of the easiest ways to contribute is to find a missing proof and complete it. The
-[`proof_wanted`](https://github.com/search?q=repo%3Aleanprover-community%2Fbatteries+proof_wanted+language%3ALean&type=code&l=Lean)
+[`proof_wanted`](https://github.com/search?q=repo%3Aleanprover-community%2Fbatteries+language%3ALean+%2F^proof_wanted%2F&type=code)
 declaration documents statements that have been identified as being useful, but that have not yet
 been proven.