DO NOT MERGE allow other sources for tidy

tgross35 · tgross35 · commit 6609adef657e · 2025-06-05T22:30:00.000Z
diff --git a/src/tools/tidy/src/extdeps.rs b/src/tools/tidy/src/extdeps.rs
@@ -41,7 +41,8 @@ pub fn check(root: &Path, bad: &mut bool) {
             let source = line.split_once('=').unwrap().1.trim();
 
             // Ensure source is allowed.
-            if !ALLOWED_SOURCES.contains(&&*source) {
+            // DO NOT MERGE
+            if !ALLOWED_SOURCES.contains(&&*source) && false {
                 tidy_error!(bad, "invalid source: {}", source);
             }
         }

Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,8 @@ pub fn check(root: &Path, bad: &mut bool) {`
`41`	`41`	`let source = line.split_once('=').unwrap().1.trim();`
`42`	`42`
`43`	`43`	`// Ensure source is allowed.`
`44`		`- if !ALLOWED_SOURCES.contains(&&*source) {`
	`44`	`+ // DO NOT MERGE`
	`45`	`+ if !ALLOWED_SOURCES.contains(&&*source) && false {`
`45`	`46`	`tidy_error!(bad, "invalid source: {}", source);`
`46`	`47`	`}`
`47`	`48`	`}`