Add a ignore-tidy-todo to ignore the tidy TODO comment check

tbu- · tbu- · commit 21387e4d138d · 2024-06-11T19:35:39.000+02:00
diff --git a/src/tools/tidy/src/style.rs b/src/tools/tidy/src/style.rs
@@ -444,7 +444,7 @@ pub fn check(path: &Path, bad: &mut bool) {
                 suppressible_tidy_err!(err, skip_cr, "CR character");
             }
             if filename != "style.rs" {
-                if trimmed.contains("TODO") {
+                if trimmed.contains("TODO") && !trimmed.contains("ignore-tidy-todo") {
                     err(
                         "TODO is used for tasks that should be done before merging a PR; If you want to leave a message in the codebase use FIXME",
                     )

Original file line number	Diff line number	Diff line change
`@@ -444,7 +444,7 @@ pub fn check(path: &Path, bad: &mut bool) {`
`444`	`444`	`suppressible_tidy_err!(err, skip_cr, "CR character");`
`445`	`445`	`}`
`446`	`446`	`if filename != "style.rs" {`
`447`		`- if trimmed.contains("TODO") {`
	`447`	`+ if trimmed.contains("TODO") && !trimmed.contains("ignore-tidy-todo") {`
`448`	`448`	`err(`
`449`	`449`	`"TODO is used for tasks that should be done before merging a PR; If you want to leave a message in the codebase use FIXME",`
`450`	`450`	`)`