> On 9 Jan 2024, at 22:20, Tom Lane <[email protected]> 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
