On Thu, 5 Jan 2023 at 08:28, Sebastiaan Couwenberg <[email protected]> wrote: > > On 1/5/23 12:26, Paul Gevers wrote: > > Are there objections against this workflow? (Or voices from people who > > This has been a best practice for quite a while, high time to make it > hard requirement.
I wholeheartedly agree here, at least in my experience.

