Skip to content

add setting to never offer ignoring default branch pr#5435

Merged
alexr00 merged 1 commit into
microsoft:mainfrom
kurowski:never-ignore-default
Nov 6, 2023
Merged

add setting to never offer ignoring default branch pr#5435
alexr00 merged 1 commit into
microsoft:mainfrom
kurowski:never-ignore-default

Conversation

@kurowski

@kurowski kurowski commented Nov 3, 2023

Copy link
Copy Markdown
Contributor

In my organization's workflow, we always have a PR associated with the default branch. And because we're heavy users of Dev Containers and Codespaces, our vscode workspaces are fairly ephemeral so we're always creating new ones.

Which means that in new workspaces we always see "there's a pull request associated with the default branch, do you want to ignore" notification and have to click the "Don't show" button. And since we create new environments frequently we see this notification frequently.

This pull request adds a setting to disable the offer to ignore PRs on the default branch, which improves our team's developer experience.

@kurowski

kurowski commented Nov 4, 2023

Copy link
Copy Markdown
Contributor Author

@microsoft-github-policy-service agree company="University of California Education Abroad Program"

@alexr00

alexr00 commented Nov 6, 2023

Copy link
Copy Markdown
Member

@kurowski is there a reason you can't use the existing setting githubPullRequests.ignoredPullRequestBranches?

@kurowski

kurowski commented Nov 6, 2023

Copy link
Copy Markdown
Contributor Author

@alexr00 I believe that would work if we always wanted to ignore the pull request on the default branch, but the problem is that we never want to ignore the pull request. I can't figure out a way to get that behavior from the available settings.

@alexr00

alexr00 commented Nov 6, 2023

Copy link
Copy Markdown
Member

I misunderstood, thanks for clarifying!

@alexr00 alexr00 added this to the November 2023 milestone Nov 6, 2023

@alexr00 alexr00 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thanks for the PR!

@alexr00 alexr00 enabled auto-merge (squash) November 6, 2023 15:33
@alexr00 alexr00 self-assigned this Nov 6, 2023
@alexr00 alexr00 merged commit 42ef50a into microsoft:main Nov 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants