Skip to content

Fix Local PR branches for .dev#6382

Merged
alexr00 merged 1 commit intomainfrom
alexr00/ideological-bear
Oct 23, 2024
Merged

Fix Local PR branches for .dev#6382
alexr00 merged 1 commit intomainfrom
alexr00/ideological-bear

Conversation

@alexr00
Copy link
Copy Markdown
Member

@alexr00 alexr00 commented Oct 23, 2024

Fixes #6373

@alexr00 alexr00 self-assigned this Oct 23, 2024
@alexr00 alexr00 enabled auto-merge (squash) October 23, 2024 08:36
@vs-code-engineering vs-code-engineering Bot added this to the October 2024 milestone Oct 23, 2024
@alexr00 alexr00 merged commit 1d9e04e into main Oct 23, 2024
@alexr00 alexr00 deleted the alexr00/ideological-bear branch October 23, 2024 08:52
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.

Fetching local pull requests failed: this.repository.getRefs is not a function

2 participants