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