Override Default Branch no longer working

[eladiosch]

• Extension version: v0.88.0
• VSCode Version: 1.89.0
• OS: Ubuntu 22.04.4 LTS (64-bit)
• Repository Clone Configuration: cloned private repository (not a fork)
• Github Product : Github.com

Steps to Reproduce:

1. In VsCode go to Preferences and search githubPullRequests.overrideDefaultBranch
2. Set value to "develop"
3. Try to create a new PR
4. Base branch is now "main" (default in repo config) instead of "develop"

This used to work fine but stopped working maybe a couple of weeks ago. I've talked with other people working on the same repo with the same extension and are experiencing the same behaviour.

[alexr00]

What is the value of the setting githubPullRequests.createDefaultBaseBranch? We try to guess the "best" base branch by default.

[eladiosch]

It's auto. However, shouldn't the githubPullRequests.overrideDefaultBranch value have the highest priority when deciding the branch?