Ignore main branch PRs

pull/178418/head
Daniel Imms 2023-03-27 05:28:38 -07:00
parent eb082c1300
commit 023ac5366c
No known key found for this signature in database
GPG Key ID: E5CF412B63651C69
1 changed files with 3 additions and 0 deletions

View File

@ -120,6 +120,9 @@
},
"githubPullRequests.assignCreated": "${user}",
"githubPullRequests.defaultMergeMethod": "squash",
"githubPullRequests.ignoredPullRequestBranches": [
"main"
],
"application.experimental.rendererProfiling": true,
"editor.experimental.asyncTokenization": true
}