Skip to content

AGENTS.md: include the base-tag in the OID-stabilization fast-export#197

Draft
dscho wants to merge 1 commit into
mainfrom
agents-md-fast-export-tag
Draft

AGENTS.md: include the base-tag in the OID-stabilization fast-export#197
dscho wants to merge 1 commit into
mainfrom
agents-md-fast-export-tag

Conversation

@dscho
Copy link
Copy Markdown
Member

@dscho dscho commented May 4, 2026

Document a non-obvious detail in the AGENTS.md playground / stable-OID
workflow: the OID-stabilization fast-export | awk | fast-import
dance must include the base tag (e.g. refs/tags/curl-8.20.0)
alongside HEAD, otherwise the import-tars-created tag keeps
referencing the pre-rewrite commit and the subsequent
format-patch <base-tag>..HEAD emits the entire tarball as a
spurious patch 0001.

Hit while refreshing mingw-w64-curl's series for 8.20.0 (#195).

Draft because the change is editorial; happy to ship it once the
mingw-w64-curl PR has merged or independently if you prefer.

The playground workflow's stabilization step (section "The
playground repository", step 5) used to invoke fast-export on HEAD
alone. That re-imports the entire ancestry, including the import
commits the curl-* style tarball tags reference, with new OIDs.
fast-import then leaves the import-tars-created tag pointing at
its old commit, which in turn makes `format-patch <base-tag>..HEAD`
in step 6 include the rewritten import commit as a spurious patch
0001 with the entire tarball-content as a diff.

This was hit while refreshing mingw-w64-curl's patch series for
8.20.0 (commit fb4605a735 in the mingw-w64-curl-8.20.0 branch).
The instruction "Then update the tag and branch ref
(`git checkout <branch>`)" already implied that something about
the tag needs attention, but did not spell out how. The cleanest
fix is to pass the base tag's ref alongside HEAD to fast-export,
so fast-import re-creates the tag pointing at the rewritten
import commit naturally, with no follow-up tag surgery needed.

Assisted-by: Claude Opus 4.7 (1M context)(Internal only)
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
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