odysseus0/symphony

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.

First seen Mar 10, 2026

Installation

$ npx skills add odysseus0/symphony --skill pull

Similar popular skills

Related neighbors and high-traction skills in the same topics — useful to compare before installing.

Also in this package

Other skills from odysseus0/symphony.

npx skills add odysseus0/symphony

Browse all from odysseus0/symphony

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Repository health

Stars 82
License LICENSE
Default branch main
Status Active

Package contents

Files included with this skill beyond the listing page.

  • skill md SKILL.md 4,685 B
  • docs SUMMARY.md 262 B

History

  1. First seen on skills.sh
  2. First recorded snapshot · 540 installs

SKILL.md

Pull

Workflow

  1. Verify git status is clean or commit/stash changes before merging.
  2. Ensure rerere is enabled locally:

- git config rerere.enabled true - git config rerere.autoupdate true

  1. Confirm remotes and branches:

- Ensure the origin remote exists. - Ensure the current branch is the one to receive the merge.

  1. Fetch latest refs:

- git fetch origin

  1. 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.

  1. Merge in order:

- Prefer git -c merge.conflictstyle=zdiff3 merge origin/main for clearer conflict context.

  1. If conflicts appear, resolve them (see conflict guidance below), then:

- git add <files> - git commit (or git merge --continue if the merge is paused)

  1. Verify with project checks (follow repo policy in AGENTS.md).
  2. 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:

- git diff --check

  • 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.