{ "githubPullRequests.ignoredPullRequestBranches": [ "1.20" ] }