chore: remove removed contributors/tools path (#44374)

This commit is contained in:
Shaun Hamilton
2021-12-03 16:18:54 +00:00
committed by GitHub
parent 56ca9320da
commit ae258ce94c
3 changed files with 2 additions and 9 deletions
+1 -6
View File
@@ -30,10 +30,5 @@
"automerge": true
}
],
"ignorePaths": [
"api-server",
"tools/contributor",
"tools/contributor/dashboard-app/client",
"tools/contributor/dashboard-app/server"
]
"ignorePaths": ["api-server"]
}