Skip to content

Element with id Local Pull Request Branches is already registered#7271

Merged
alexr00 merged 1 commit intomainfrom
alexr00/issue7264
Jul 10, 2025
Merged

Element with id Local Pull Request Branches is already registered#7271
alexr00 merged 1 commit intomainfrom
alexr00/issue7264

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Jul 10, 2025

Fixes #7264

@alexr00 alexr00 self-assigned this Jul 10, 2025
@alexr00 alexr00 enabled auto-merge (squash) July 10, 2025 10:52
@vs-code-engineering vs-code-engineering bot added this to the July 2025 milestone Jul 10, 2025
@alexr00 alexr00 merged commit 6163094 into main Jul 10, 2025
3 checks passed
@alexr00 alexr00 deleted the alexr00/issue7264 branch July 10, 2025 11:05
@jmaa4
Copy link

jmaa4 commented Jul 11, 2025

Fixes #7264

T

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.

Element with id Local Pull Request Branches is already registered

3 participants