"David E. Wheeler" <da...@justatheory.com> writes: > On Jul 13, 2025, at 15:02, Tom Lane <t...@sss.pgh.pa.us> wrote: >> Alternatively, does git have any kind of metadata that isn't >> a tag but acts sort of like one?
> Notes? > https://git-scm.com/docs/git-notes Hmm, maybe. I recall discussion about starting to use notes to amend commit messages, and I'm not sure if this usage would conflict with that. At the very least we'd need to write a specification for what a note that triggers ABI-check behavior looks like. I'm still liking the in-tree-file idea better. For one thing, it's not clear how expensive it'd be to search the git metadata for this other stuff. regards, tom lane
