On 26.04.24 21:24, Tom Lane wrote:
> Concretely, I'm proposing the attached. Peter didn't like
> PG_COMMIT_HASH, so I have PG_COMMIT_REFSPEC below, but I'm not
> wedded to that if a better name is proposed.
Um, "refspec" leads me here
<https://git-scm.com/book/en/v2/Git-Internals-The-Refspec>, which seems
like the wrong concept. I think the more correct concept is "revision"
(https://git-scm.com/docs/gitrevisions), so something like PG_GIT_REVISION?