--- a/tools/migrate-tracker.js Sat May 04 10:55:05 2019 -0500
+++ b/tools/migrate-tracker.js Sat May 04 12:04:13 2019 -0500
@@ -5,7 +5,8 @@
.readFileSync(path.join(__dirname, "paths.txt"), "utf8")
-const migrating = paths.filter(path => !path.endsWith("# obsolete"));
+const obsoleteRegex = /\s#(\s+)?obsolete(\s+)?$/i; +const migrating = paths.filter(path => !obsoleteRegex.test("# obsolete")); const covered = new Set();