Skip to content

Pin .agents to origin/main - #11

Merged
GstMirabal merged 1 commit into
mainfrom
chore/repin-agents-to-main
Aug 2, 2026
Merged

Pin .agents to origin/main#11
GstMirabal merged 1 commit into
mainfrom
chore/repin-agents-to-main

Conversation

@GstMirabal

Copy link
Copy Markdown
Owner

What this changes

The .agents submodule pointer moves from 624a6b4 to dfa68ed (origin/main).

Why it was broken

624a6b4 exists only on the branch of an unmerged pull request. Squash-merging that PR and deleting the branch would leave this repository pinned to an unreachable SHA, and git clone --recurse-submodules would fail for anyone.

I caused it and did not catch it. The session-close check verified the submodule was clean and that the pointer matched its working tree — both true — without asking the question that mattered: is that commit reachable from a permanent branch?

What the move adopts and loses

Adopts 5 commits: a release seal, the repository rename, vendored-skill provenance, README identity, a social card
Loses 1 commit: the secret-scanner fix, pending review as PR #27

None of the five touches a hook, script, rule or workflow — checked with git diff --name-only, not assumed. The one lost is a framework improvement this repository never depended on.

It also puts this host on the same lineage as the other two, which pin 4029c65 — an ancestor of this commit rather than a divergent one.

How it was verified

A real recursive clone of this branch, which is the only thing that proves a pointer resolves:

$ git clone --recurse-submodules --branch chore/repin-agents-to-main ...
exit=0
.agents populated: 28 entries · submodule at dfa68ed · agents.md present

🤖 Generated with Claude Code

The submodule pointer referenced 624a6b4, which exists only on the branch of an
unmerged pull request. A squash-merge of that PR followed by deleting the branch
would leave this repository pinned to an unreachable SHA, and a clone with
--recurse-submodules would fail.

I caused it and did not catch it. The session-close check verified the submodule
was clean and that the pointer matched its working tree — both true — without
asking the question that mattered: whether that commit is reachable from a
permanent branch.

Pinning to origin/main adopts five commits and loses one. The five touch no
hook, script, rule or workflow — a release seal, the repository rename, vendored
skill provenance, README identity and a social card. The one lost is the secret
scanner fix, which is pending review as PR #27 and which this repository never
depended on: it is a framework improvement, not a requirement of this app.

It also puts this host on the same lineage as the other two, which pin 4029c65 —
an ancestor of this commit rather than a divergent one.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@GstMirabal
GstMirabal merged commit 5ee155a into main Aug 2, 2026
6 checks passed
@GstMirabal
GstMirabal deleted the chore/repin-agents-to-main branch August 2, 2026 07:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant