On Thu, Mar 18, 2021 at 5:07 PM Tom Lane <t...@sss.pgh.pa.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
