On Jul 13, 2025, at 15:43, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> 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.
How bout we keep it a simple as possible to start with: make it either the last tag in the branch or else the first
commitin the branch (the branch commit). Except for master, in which case perhaps since the last time a branch was
created?
Best,
David
