"David E. Wheeler" <david@justatheory.com> writes:
> On Jul 13, 2025, at 15:02, Tom Lane <tgl@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
