Pull
Workflow
- Verify git status is clean or commit/stash changes before merging.
- Ensure rerere is enabled locally:
git config rerere.enabled true
git config rerere.autoupdate true
- Confirm remotes and branches:
- Ensure the
origin remote exists.
- Ensure the current branch is the one to receive the merge.
- Fetch latest refs:
- Sync the remote feature branch first:
git pull --ff-only origin $(git branch --show-current)
- This pulls branch updates made remotely (for example, a GitHub auto-commit)
before merging
origin/main.
- Merge in order:
- Prefer
git -c merge.conflictstyle=zdiff3 merge origin/main for clearer
conflict context.
- If conflicts appear, resolve them (see conflict guidance below), then:
git add <files>
git commit (or git merge --continue if the merge is paused)
- Verify with project checks (follow repo policy in
AGENTS.md).
- Summarize the merge:
- Call out the most challenging conflicts/files and how they were resolved.
- Note any assumptions or follow-ups.
Conflict Resolution Guidance (Best Practices)
- Inspect context before editing:
- Use
git status to list conflicted files.
- Use
git diff or git diff --merge to see conflict hunks.
- Use
git diff :1:path/to/file :2:path/to/file and
git diff :1:path/to/file :3:path/to/file to compare base vs ours/theirs
for a file-level view of intent.
- With
merge.conflictstyle=zdiff3, conflict markers include:
<<<<<<< ours, ||||||| base, ======= split, >>>>>>> theirs.
- Matching lines near the start/end are trimmed out of the conflict region,
so focus on the differing core.
- Summarize the intent of both changes, decide the semantically correct
outcome, then edit:
- State what each side is trying to achieve (bug fix, refactor, rename,
behavior change).
- Identify the shared goal, if any, and whether one side supersedes the
other.
- Decide the final behavior first; only then craft the code to match that
decision.
- Prefer preserving invariants, API contracts, and user-visible behavior
unless the conflict clearly indicates a deliberate change.
- Open files and understand intent on both sides before choosing a resolution.
- Prefer minimal, intention-preserving edits:
- Keep behavior consistent with the branch’s purpose.
- Avoid accidental deletions or silent behavior changes.
- Resolve one file at a time and rerun tests after each logical batch.
- Use
ours/theirs only when you are certain one side should win entirely.
- For complex conflicts, search for related files or definitions to align with
the rest of the codebase.
- For generated files, resolve non-generated conflicts first, then regenerate:
- Prefer resolving source files and handwritten logic before touching
generated artifacts.
- Run the CLI/tooling command that produced the generated file to recreate it
cleanly, then stage the regenerated output.
- For import conflicts where intent is unclear, accept both sides first:
- Keep all candidate imports temporarily, finish the merge, then run lint/type
checks to remove unused or incorrect imports safely.
- After resolving, ensure no conflict markers remain:
- When unsure, note assumptions and ask for confirmation before finalizing the
merge.
When To Ask The User (Keep To A Minimum)
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:
- The correct resolution depends on product intent or behavior not inferable
from code, tests, or nearby documentation.
- The conflict crosses a user-visible contract, API surface, or migration where
choosing incorrectly could break external consumers.
- A conflict requires selecting between two mutually exclusive designs with
equivalent technical merit and no clear local signal.
- The merge introduces data loss, schema changes, or irreversible side effects
without an obvious safe default.
- The branch is not the intended target, or the remote/branch names do not exist
and cannot be determined locally.
Otherwise, proceed with the merge, explain the decision briefly in notes, and
leave a clear, reviewable commit history.
1---2name: pull3description: 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.4---5
6# Pull
7
8## Workflow
9
101. Verify git status is clean or commit/stash changes before merging.
112. Ensure rerere is enabled locally:
12 - `git config rerere.enabled true`
13 - `git config rerere.autoupdate true`
143. Confirm remotes and branches:
15 - Ensure the `origin` remote exists.
16 - Ensure the current branch is the one to receive the merge.
174. Fetch latest refs:
18 - `git fetch origin`
195. Sync the remote feature branch first:
20 - `git pull --ff-only origin $(git branch --show-current)`
21 - This pulls branch updates made remotely (for example, a GitHub auto-commit)
22 before merging `origin/main`.
236. Merge in order:
24 - Prefer `git -c merge.conflictstyle=zdiff3 merge origin/main` for clearer
25 conflict context.
267. If conflicts appear, resolve them (see conflict guidance below), then:
27 - `git add <files>`
28 - `git commit` (or `git merge --continue` if the merge is paused)
298. Verify with project checks (follow repo policy in `AGENTS.md`).
309. Summarize the merge:
31 - Call out the most challenging conflicts/files and how they were resolved.
32 - Note any assumptions or follow-ups.
33
34## Conflict Resolution Guidance (Best Practices)
35
36- Inspect context before editing:
37 - Use `git status` to list conflicted files.
38 - Use `git diff` or `git diff --merge` to see conflict hunks.
39 - Use `git diff :1:path/to/file :2:path/to/file` and
40 `git diff :1:path/to/file :3:path/to/file` to compare base vs ours/theirs
41 for a file-level view of intent.
42 - With `merge.conflictstyle=zdiff3`, conflict markers include:
43 - `<<<<<<<` ours, `|||||||` base, `=======` split, `>>>>>>>` theirs.
44 - Matching lines near the start/end are trimmed out of the conflict region,
45 so focus on the differing core.
46 - Summarize the intent of both changes, decide the semantically correct
47 outcome, then edit:
48 - State what each side is trying to achieve (bug fix, refactor, rename,
49 behavior change).
50 - Identify the shared goal, if any, and whether one side supersedes the
51 other.
52 - Decide the final behavior first; only then craft the code to match that
53 decision.
54 - Prefer preserving invariants, API contracts, and user-visible behavior
55 unless the conflict clearly indicates a deliberate change.
56 - Open files and understand intent on both sides before choosing a resolution.
57- Prefer minimal, intention-preserving edits:
58 - Keep behavior consistent with the branch’s purpose.
59 - Avoid accidental deletions or silent behavior changes.
60- Resolve one file at a time and rerun tests after each logical batch.
61- Use `ours/theirs` only when you are certain one side should win entirely.
62- For complex conflicts, search for related files or definitions to align with
63 the rest of the codebase.
64- For generated files, resolve non-generated conflicts first, then regenerate:
65 - Prefer resolving source files and handwritten logic before touching
66 generated artifacts.
67 - Run the CLI/tooling command that produced the generated file to recreate it
68 cleanly, then stage the regenerated output.
69- For import conflicts where intent is unclear, accept both sides first:
70 - Keep all candidate imports temporarily, finish the merge, then run lint/type
71 checks to remove unused or incorrect imports safely.
72- After resolving, ensure no conflict markers remain:
73 - `git diff --check`
74- When unsure, note assumptions and ask for confirmation before finalizing the
75 merge.
76
77## When To Ask The User (Keep To A Minimum)
78
79Do not ask for input unless there is no safe, reversible alternative. Prefer
80making a best-effort decision, documenting the rationale, and proceeding.
81
82Ask the user only when:
83
84- The correct resolution depends on product intent or behavior not inferable
85 from code, tests, or nearby documentation.
86- The conflict crosses a user-visible contract, API surface, or migration where
87 choosing incorrectly could break external consumers.
88- A conflict requires selecting between two mutually exclusive designs with
89 equivalent technical merit and no clear local signal.
90- The merge introduces data loss, schema changes, or irreversible side effects
91 without an obvious safe default.
92- The branch is not the intended target, or the remote/branch names do not exist
93 and cannot be determined locally.
94
95Otherwise, proceed with the merge, explain the decision briefly in notes, and
96leave a clear, reviewable commit history.