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 Borg UI project checks:
- Always run
git diff --check.
- For backend changes, run
ruff check app tests,
ruff format --check app tests, and relevant pytest tests.
- For frontend changes, run
cd frontend && npm run check:locales && npm run typecheck && npm run lint && npm run build.
- 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---56# Pull78## Workflow9101. 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 clearer25 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 Borg UI project checks:30 - Always run `git diff --check`.31 - For backend changes, run `ruff check app tests`,32 `ruff format --check app tests`, and relevant `pytest` tests.33 - For frontend changes, run `cd frontend && npm run check:locales &&34 npm run typecheck && npm run lint && npm run build`.359. Summarize the merge:36 - Call out the most challenging conflicts/files and how they were resolved.37 - Note any assumptions or follow-ups.3839## Conflict Resolution Guidance (Best Practices)4041- Inspect context before editing:42 - Use `git status` to list conflicted files.43 - Use `git diff` or `git diff --merge` to see conflict hunks.44 - Use `git diff :1:path/to/file :2:path/to/file` and45 `git diff :1:path/to/file :3:path/to/file` to compare base vs ours/theirs46 for a file-level view of intent.47 - With `merge.conflictstyle=zdiff3`, conflict markers include:48 - `<<<<<<<` ours, `|||||||` base, `=======` split, `>>>>>>>` theirs.49 - Matching lines near the start/end are trimmed out of the conflict region,50 so focus on the differing core.51 - Summarize the intent of both changes, decide the semantically correct52 outcome, then edit:53 - State what each side is trying to achieve (bug fix, refactor, rename,54 behavior change).55 - Identify the shared goal, if any, and whether one side supersedes the56 other.57 - Decide the final behavior first; only then craft the code to match that58 decision.59 - Prefer preserving invariants, API contracts, and user-visible behavior60 unless the conflict clearly indicates a deliberate change.61 - Open files and understand intent on both sides before choosing a resolution.62- Prefer minimal, intention-preserving edits:63 - Keep behavior consistent with the branch’s purpose.64 - Avoid accidental deletions or silent behavior changes.65- Resolve one file at a time and rerun tests after each logical batch.66- Use `ours/theirs` only when you are certain one side should win entirely.67- For complex conflicts, search for related files or definitions to align with68 the rest of the codebase.69- For generated files, resolve non-generated conflicts first, then regenerate:70 - Prefer resolving source files and handwritten logic before touching71 generated artifacts.72 - Run the CLI/tooling command that produced the generated file to recreate it73 cleanly, then stage the regenerated output.74- For import conflicts where intent is unclear, accept both sides first:75 - Keep all candidate imports temporarily, finish the merge, then run lint/type76 checks to remove unused or incorrect imports safely.77- After resolving, ensure no conflict markers remain:78 - `git diff --check`79- When unsure, note assumptions and ask for confirmation before finalizing the80 merge.8182## When To Ask The User (Keep To A Minimum)8384Do not ask for input unless there is no safe, reversible alternative. Prefer85making a best-effort decision, documenting the rationale, and proceeding.8687Ask the user only when:8889- The correct resolution depends on product intent or behavior not inferable90 from code, tests, or nearby documentation.91- The conflict crosses a user-visible contract, API surface, or migration where92 choosing incorrectly could break external consumers.93- A conflict requires selecting between two mutually exclusive designs with94 equivalent technical merit and no clear local signal.95- The merge introduces data loss, schema changes, or irreversible side effects96 without an obvious safe default.97- The branch is not the intended target, or the remote/branch names do not exist98 and cannot be determined locally.99100Otherwise, proceed with the merge, explain the decision briefly in notes, and101leave a clear, reviewable commit history.