Automatically label PRs (#9418)

* Automatically label and merge PRs
This commit is contained in:
Amir Omidi
2020-03-05 16:46:06 -08:00
committed by GitHub
parent 673e5a85cb
commit 76cf10d23c
23 changed files with 74960 additions and 2 deletions

View File

@@ -34,7 +34,8 @@ const all = [
'src/**/*',
'test/**/*',
'!test/**/out/**',
'!**/node_modules/**'
'!**/node_modules/**',
'!build/actions/**/dist/*' // {{ SQL CARBON EDIT }}
];
const indentationFilter = [
@@ -95,6 +96,7 @@ const indentationFilter = [
'!**/*.dockerfile',
'!extensions/markdown-language-features/media/*.js',
// {{SQL CARBON EDIT}}
'!build/actions/**/dist/*',
'!**/*.{xlf,docx,sql,vsix,bacpac,ipynb}',
'!extensions/mssql/sqltoolsservice/**',
'!extensions/import/flatfileimportservice/**',