Skip to content

Closed PRs get associated with new branches of the same name #6711

@MetRonnie

Description

@MetRonnie

Sometimes, when I create a branch, I will find it becomes associated with a wrong PR that was previously closed and used the same branch name.

This can mean if you run the "delete local branches and remotes" command it will wrongly delete your branch.

  • Extension version: 0.106.0
  • VSCode Version: 1.98.0 (system setup)
  • OS: Windows_NT x64 10.0.22631
  • Repository Clone Configuration: fork of an upstream repository
  • Github Product: Github.com

Steps to Reproduce:

Unknown. Note in .git/config you might see something like:

[branch "dev"]   # this branch was created a few days ago
	remote = origin
	merge = refs/heads/dev
	vscode-merge-base = origin/dev
	github-pr-owner-number = "cylc#cylc-ui#810"
	github-pr-owner-number = "cylc#cylc-ui#810"
	github-pr-owner-number = "cylc#cylc-ui#810"
	github-pr-owner-number = "cylc#cylc-ui#810"
	github-pr-owner-number = "cylc#cylc-ui#810"    # this is a PR that was closed 4 years ago!

or

[branch "log-wrap"]
	vscode-merge-base = origin/master
	remote = origin
	github-pr-owner-number = "cylc#cylc-ui#1708"
	github-pr-owner-number = "cylc#cylc-ui#1708"
	github-pr-owner-number = "cylc#cylc-ui#1708"
	github-pr-owner-number = "cylc#cylc-ui#1708"
	github-pr-owner-number = "cylc#cylc-ui#2078"   # finally the correct one!

Metadata

Metadata

Assignees

Labels

bugIssue identified by VS Code Team member as probable bug

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions