Thanks to visit codestin.com
Credit goes to github.com

Skip to content

👷 Detect and label merge conflicts on PRs automatically#14045

Merged
tiangolo merged 2 commits into
fastapi:masterfrom
svlandeg:feature/conflict
Sep 5, 2025
Merged

👷 Detect and label merge conflicts on PRs automatically#14045
tiangolo merged 2 commits into
fastapi:masterfrom
svlandeg:feature/conflict

Conversation

@svlandeg

@svlandeg svlandeg commented Sep 5, 2025

Copy link
Copy Markdown
Member
  • Label a PR that has merge conflicts with the new label "conflicts"
  • Add a comment to the PR to alert the original poster & any subscribers to the thread
  • Remove the label again when the conflict is resolved (but add no further comment)

@tiangolo tiangolo left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

🚀

@tiangolo tiangolo merged commit bb4772c into fastapi:master Sep 5, 2025
28 checks passed
@svlandeg svlandeg deleted the feature/conflict branch September 5, 2025 08:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants