Jan Wieck <j...@wi3ck.info> writes: > On 5/13/21 6:45 PM, Tom Lane wrote: >> Bumping the version in the commit that changes >> things is not optional, because if you don't do that then you'll >> probably burn some other developer also working on HEAD. So >> I don't want people thinking they can skip this because it was >> done at the beginning of the development cycle.
> And we make sure this is done how? Peer pressure? It's not that different from N other ways to do a patch incorrectly, of course. regards, tom lane