-
Notifications
You must be signed in to change notification settings - Fork 608
Pull requests created from a fork on a topic branch aren't discovered. #3511
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Comments
Testing with After I deleted the the key from The status bar would only show the branch name, but not the PR number. Is that expected or is that what should have been fixed? @alexr00 |
That's what should have been fixed. The PR is still open? |
I've closed the PR in the meantime as it was in a public repo and I didn't want to confuse. |
I can repro, no need to set it up again yet. |
instead of comparing owner and name. Comparing the name is incorrect as forks can have different names from the original. Fixes #3511
instead of comparing owner and name. Comparing the name is incorrect as forks can have different names from the original. Fixes #3511
origin
and the upstream repo isupstream
.githubPullRequest.remotes
configured correctly).github-pr-owner-number
from your git config and reload or create a Codespace from the PR).The text was updated successfully, but these errors were encountered: