openai/pull
Pull latest origin/main into the current local branch and resolve merge conflicts (aka update-branch). Use when Codex needs to sync a feature branch with origin, perform a merge-based update (not rebase), and guide conflict resolution best practices.
npx skills add https://github.com/openai/symphony --skill pull
git config rerere.enabled truegit config rerere.autoupdate trueorigin remote exists.git fetch origingit pull --ff-only origin $(git branch --show-current)before merging origin/main.
git -c merge.conflictstyle=zdiff3 merge origin/main for clearerconflict context.
git add <files>git commit (or git merge --continue if the merge is paused)AGENTS.md).git status to list conflicted files.git diff or git diff --merge to see conflict hunks.git diff :1:path/to/file :2:path/to/file andgit diff :1:path/to/file :3:path/to/file to compare base vs ours/theirs
for a file-level view of intent.
merge.conflictstyle=zdiff3, conflict markers include:<<<<<<< ours, ||||||| base, ======= split, >>>>>>> theirs.so focus on the differing core.
outcome, then edit:
behavior change).
other.
decision.
unless the conflict clearly indicates a deliberate change.
ours/theirs only when you are certain one side should win entirely.the rest of the codebase.
generated artifacts.
cleanly, then stage the regenerated output.
checks to remove unused or incorrect imports safely.
git diff --checkmerge.
Do not ask for input unless there is no safe, reversible alternative. Prefer
making a best-effort decision, documenting the rationale, and proceeding.
Ask the user only when:
from code, tests, or nearby documentation.
choosing incorrectly could break external consumers.
equivalent technical merit and no clear local signal.
without an obvious safe default.
and cannot be determined locally.
Otherwise, proceed with the merge, explain the decision briefly in notes, and
leave a clear, reviewable commit history.
Take openai/pull from the repository into ~/.claude/skills for personal
use, or into .claude/skills inside a project.
The agent identifies a skill by the name field in its header. Two skills with the
same name cannot sit side by side — one of them will be ignored.