Jan Wieck <jan@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