> On 9 Jan 2024, at 22:20, Tom Lane <t...@sss.pgh.pa.us> wrote: > In short, I don't think that putting this into CI is the answer. > Putting it into committers' standard workflow is a better idea, > if we can get all the committers on board with that.
+many -- Daniel Gustafsson
