On Jul 13, 2025, at 15:02, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> On reflection, assuming that this is being run by one or more
> buildfarm animals, there are not likely to be so many commits
> between runs that it'll be hard to assign blame after a breakage.
> So I'm not convinced that we need to build the logic you describe.
Fair. Better to start simple and add something like this later if it’s a PITA without it.
> Alternatively, does git have any kind of metadata that isn't
> a tag but acts sort of like one? The fact that you cannot
> move or remove a tag once pushed could come back to bite us
> if we start using them for this purpose.
Notes?
https://git-scm.com/docs/git-notes
Best,
David
