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