Skip to content

Add repository adopt-head operation#21

Merged
Gabriel-Darbord merged 2 commits into
mainfrom
codex/issue-15-adopt-head
May 24, 2026
Merged

Add repository adopt-head operation#21
Gabriel-Darbord merged 2 commits into
mainfrom
codex/issue-15-adopt-head

Conversation

@Gabriel-Darbord
Copy link
Copy Markdown
Member

Fixes #15

Adds edit-repository operation=adoptHead for same-image continuation after commits or fast-forwards. It adopts the repository HEAD commit as the image working-copy reference, supports an optional branch guard, and reports before/after modified package state.

Verification:

  • MCPRepositorySpecTest
  • MCPToolEditRepositoryTest
  • MCPToolContractsTest
  • git diff --check HEAD~1..HEAD
  • Live same-image smoke: adoptHead cleared stale modified packages after commit.

@Gabriel-Darbord Gabriel-Darbord merged commit 69bb7c3 into main May 24, 2026
3 checks passed
@Gabriel-Darbord Gabriel-Darbord deleted the codex/issue-15-adopt-head branch May 24, 2026 09:56
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.

Add repository adopt/refresh operation after image-side commits

1 participant