> On 9 Jan 2024, at 22:20, Tom Lane <tgl@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