agentleFS
theCodeDrifttheCodeDrift/seamux/.agents/skills/push/SKILL.md

push

Skill9 starsChanged 24 days agoMITView on GitHub

Push seamux's local main to GitHub when a landing didn't, as after `npm run land -- --no-push`, offline, or when GitHub moved during the landing. Checks the branch is already on main and stops if not, makes sure every user-facing change has a changeset, merges origin/main in when both have moved, resolves conflicts if there are any, then pushes. Use when asked to "push", "push main", or "/push", or when land says it didn't push.

  • Commits and pushes

49 other projects use a version of this.

Adopted by

Most recently taken up by

Used with

Projects with it also use get-pr-reviews, push-everything and 10 more.

Other files people use alongside this one.

Files found in the same public projects as a version of this one, more often than they turn up anywhere else. Each project counts once, large collections count for less, and this file's own repository is left out.
  • saffron-healthSkill

    get-pr-reviews

    Get nicely formatted output of the last review comments on a PR. Used internally by other skills.

    Also in 3 projects that use this

  • saffron-healthSkill

    push-everything

    Stage ALL changes in the repository (not just session changes), commit, and push. Use when you need to commit all pending changes.

    Also in 3 projects that use this

  • NVIDIASkill

    generate-spec

    Produce a feature specification covering API changes, backward compatibility, cross-language impact, performance, and a file-level change plan. Use when designing a new feature, planning a significant change, or the user asks to spec something out.

    Also in 3 projects that use this

  • ddehartSkill

    knowledge-graph

    Search, capture, and query the claude-code-plugins knowledge graph. Use when asked to "capture this", "add this to the graph", "what do we know about X", "update the graph", "check the graph for X", or when a decision, pattern, or non-obvious fact surfaces mid-session that's worth recording. Also: "log an observation", "what patterns do we have about skill triggering", "any decisions on the knowledge-commons plugin", "what do we know about the commit-creator agent".

    Also in 3 projects that use this

  • anombyte93Skill

    discover

    Phase 1 of the prd-taskmaster pipeline: brainstorm-driven discovery. Delegates to superpowers:brainstorming in Interactive Mode (one adaptive question at a time), or self-brainstorms in Autonomous Mode when no user is present. Intercepts before the brainstorming chain hands off to writing-plans — this skill owns the exit. Extracts constraints, calibrates scale (Solo / Team / Enterprise), and advances the pipeline to GENERATE.

    Also in 4 projects that use this

  • MicrosoftSkill

    merge

    Merge changes from the topic branch to the merge base branch. Use when the user wants to merge their session's work back to the base branch.

    Also in 3 projects that use this

  • +2 more from saffron-health

The file

We split this skill into the rules it gives an agent

2 rules. 0 are common, 0 are distinctive, and 2 are very specific to this project.

  • 0

    Common

    Most of the 42 edited versions we read keep these.

  • 0

    Distinctive

    This author's own choices. Worth a look.

  • 2

    Very specific

    Tied to their project's names, files or tools. Probably skip.

  • Common
  • Distinctive
  • Very specific
  1. Very specific:

    If either fails, stop. Tell the user what hasn't landed (git log --oneline main..HEAD, or the uncommitted files) and that it needs …

    line 20
  2. Very specific:

    If BRANCH is main (a session running in the main checkout), stop and ask the user instead: merging there edits what the board serves.

    line 52

“Common” is measured: kept by at least 6 in 10 of the 42 edited versions of this file we could read. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.

Keep what fits and drop the rest. Your version, ready for your agents.
Files
SKILL.md

Push main

npm run land pushes main after landing, unless it was run with --no-push, couldn't reach GitHub, or GitHub refused the push because it moved during the landing. This pushes it then, for collaborators on thecodedrift/seamux. Run each step from the current worktree; never edit the main checkout directly, since it is what the board serves.

REPO=$(git worktree list --porcelain | head -1 | sed 's/^worktree //')   # the main checkout
BRANCH=$(git branch --show-current)

1. Check this worktree is on main. Stop if not.

  • git status --porcelain --untracked-files=no must be empty.
  • Unless BRANCH is main, git merge-base --is-ancestor HEAD main must succeed, meaning every commit here has landed.

If either fails, stop. Tell the user what hasn't landed (git log --oneline main..HEAD, or the uncommitted files) and that it needs committing and landing (npm run land) first. Do not land it yourself as part of this skill.

2. Check the changesets

git fetch origin main
git log --stat origin/main..main      # what this push would publish

Go through those commits against CLAUDE.md's Release notes. A commit needs a changeset when someone running seamux would notice it: a fix, a new or changed feature, setting or command, or a change to where seamux keeps its state. Docs, CI, refactors, tests, and tooling for working on seamux (such as .claude/skills/) need none. Many pushes need none; don't add one just to be safe.

A commit is covered when it, or another unpushed commit on the same change, adds or edits a .changeset/*.md that describes it. For each noticeable change that isn't covered:

  • In a worktree: write the changeset by hand (patch or minor, never major; extend an existing changeset for the same change rather than adding a second), commit it, and npm run land. Then continue. If land refuses because main is missing GitHub's commits, leave the changeset committed and go on to step 3: the merge there lands it along with them.
  • In the main checkout: stop, and tell the user which change needs one.

Say in a line each which commits you judged noticeable and which not, so the user can overrule you.

3. Pull the latest main

git log --oneline main..origin/main   # what GitHub has that local main lacks
  • Nothing listed: local main already contains origin/main. Skip to step 5.
  • Commits listed: bring them in on this branch, so a conflict never touches the main checkout:

    git merge --ff-only main            # this branch = main
    git merge --no-edit origin/main

    If BRANCH is main (a session running in the main checkout), stop and ask the user instead: merging there edits what the board serves.

npm run land does this check too. When main is simply behind origin/main it lands on origin/main by itself; when each has commits the other lacks it refuses, and points here. A branch that contains origin/main, such as this merge, is the exception, so this is also how to unblock a land refused that way.

4. Resolve conflicts, if any

If the merge conflicts, resolve it when the right answer is clear from both sides (git diff, and git log -p of the commits involved): keep both intents, then git add and git commit --no-edit. If the right resolution is a judgement call, git merge --abort and ask the user; main is still untouched.

Then land the merge, which typechecks it, fast-forwards main, and restarts the board if it needs to:

npm run land

Land pushes main once it lands, so check whether step 5 is left: git log --oneline origin/main..main is empty when it isn't. Land lets this branch past its origin/main check, since main has everything GitHub has once it lands. It never rebases a merge, or any branch carrying origin's commits, since that would turn them into copies that main could never be pushed over. If main moved since the merge, land stops and says so: git merge --no-edit main on this branch, and land again. Land never merges or pulls by itself.

5. Push

git push origin main

This pushes the local main ref, whichever worktree it runs from. It only fast-forwards; if GitHub rejects it because origin moved again, go back to step 3. Never force-push.

Report what was pushed: git log --oneline <old origin/main>..main, or say main was already up to date.

Download now (ZIP)

Does it work?

Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.

No reviews yet

People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.

  • It worked
  • Partly
  • It didn't
What did you use it for? e.g. Reviewing pull requests in a Rails app

Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.

Your trail

Files you open will collect here, so you can find them again.

Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.

Now do this for your own.

Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.