Skip to content

Add merge conflict resolver skill - #49093

Merged
pelikhan merged 2 commits into
mainfrom
copilot/resolve-merge-conflicts-skill
Jul 30, 2026
Merged

Add merge conflict resolver skill#49093
pelikhan merged 2 commits into
mainfrom
copilot/resolve-merge-conflicts-skill

Conversation

@pelikhan

Copy link
Copy Markdown
Collaborator

Summary

  • add a resolve-merge-conflicts skill for merging a base ref and handling compiled workflow conflicts
  • regenerate .github/workflows/*.lock.yml conflicts with make recompile in one command
  • refuse mixed or source conflicts instead of applying unsafe automatic resolutions

Validation

  • make agent-report-progress
  • lock-only conflict integration scenario
  • mixed source conflict refusal scenario

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Copilot-Session: 091aa0f9-8aca-4b4c-b2ba-8d92358cca49
Copilot AI review requested due to automatic review settings July 30, 2026 07:38

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull request overview

Adds a repository skill to safely resolve generated workflow lock-file merge conflicts.

Changes:

  • Documents usage and safety constraints.
  • Adds merge, recompile, staging, and validation automation.
  • Refuses automatic handling of source conflicts.
Show a summary per file
File Description
.github/skills/resolve-merge-conflicts/SKILL.md Defines the skill workflow and safeguards.
.github/skills/resolve-merge-conflicts/resolve.sh Implements conflict detection and lock regeneration.

Review details

Tip

Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

  • Files reviewed: 2/2 changed files
  • Comments generated: 2
  • Review effort level: Medium

Comment on lines +35 to +38
merge_in_progress=false
if git rev-parse -q --verify MERGE_HEAD >/dev/null; then
merge_in_progress=true
else
fi

echo "Merging $base_ref without committing..."
if ! git merge --no-edit --no-commit "$base_ref"; then
@pelikhan
pelikhan merged commit dca8b32 into main Jul 30, 2026
@pelikhan
pelikhan deleted the copilot/resolve-merge-conflicts-skill branch July 30, 2026 07:42
@github-actions

Copy link
Copy Markdown
Contributor

🎉 This pull request is included in a new release.

Release: v0.84.1

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.

2 participants