Appearance
PR Merge Conflict Dashboard
PRs with merge conflicts are automatically labeled with merge-conflict and held for manual review before auto-merge can proceed.
View PRs Requiring Conflict Resolution
Use the GitHub CLI or web interface to view PRs currently blocked by merge conflicts:
Command Line
bash
gh pr list --label "merge-conflict" --repo Cirius-Group-Inc/bedrock-docsWeb Interface
View all PRs with merge conflicts
Resolution Process
- Check out the PR branch locally
- Merge the base branch (usually
main) into it - Resolve conflicts manually
- Push the resolution
- The workflow automatically removes the label once conflicts are resolved
- Auto-merge proceeds once CI passes
Workflow Details
- Trigger: Runs on every PR open/sync and every 30 minutes
- Detection: Checks
mergeablestatus via GitHub API - Action: Adds
merge-conflictlabel + instructional comment - Resolution: Auto-removes label when conflict is resolved
Implementation
The merge conflict gate is implemented in .github/workflows/merge-conflict-gate.yml and works with the existing auto-merge workflow to ensure only cleanly mergeable PRs proceed to automatic merge.