On Thu, Mar 18, 2021 at 5:07 PM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> Doubt that it matters. The workflow would have to be "commit and push
> the mechanical updates, then edit the tracking file, commit and push
> that". You don't have the commit hash nailed down till you've pushed.
Okay. I have made a personal TODO list item for this. I'll pick this
up again in April, once the final CF is over.
--
Peter Geoghegan