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