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