Skip to content

Create PR shows error if there has been a previous PR on that branch#7270

Merged
alexr00 merged 2 commits intomainfrom
alexr00/issue7018
Jul 10, 2025
Merged

Create PR shows error if there has been a previous PR on that branch#7270
alexr00 merged 2 commits intomainfrom
alexr00/issue7018

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Jul 10, 2025

Fixes #7018

@alexr00 alexr00 self-assigned this Jul 10, 2025
@alexr00 alexr00 enabled auto-merge (squash) July 10, 2025 10:29
@vs-code-engineering vs-code-engineering bot added this to the July 2025 milestone Jul 10, 2025
Copy link
Member Author

@alexr00 alexr00 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@microsoft-github-policy-service rerun

@alexr00 alexr00 closed this Jul 10, 2025
auto-merge was automatically disabled July 10, 2025 11:56

Pull request was closed

@alexr00 alexr00 reopened this Jul 10, 2025
@alexr00 alexr00 closed this Jul 10, 2025
@alexr00 alexr00 reopened this Jul 10, 2025
@alexr00 alexr00 merged commit 552b269 into main Jul 10, 2025
3 checks passed
@alexr00 alexr00 deleted the alexr00/issue7018 branch July 10, 2025 15:57
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.

Create PR shows error if there has been a previous PR on that branch

2 participants