On Jul 13, 2025, at 15:02, Tom Lane <t...@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
signature.asc
Description: Message signed with OpenPGP
