I wrote:
> Robert Haas <robertmhaas@gmail.com> writes:
>> I think that's worth considering. Another idea is: suppose we set up
>> a PostgreSQL database somewhere that contained information about what
>> controldata layout corresponded to what control version:
> That seems possibly workable.
BTW, a possibly-easier-to-implement idea is to git diff pg_control.h
against the previous release branch. Any non-comment diffs (or, really,
anything at all except a copyright date change) should excite a warning
unless a change to the PG_CONTROL_VERSION line is included. We'd probably
need a way to shut it up after a simple comment change, but otherwise
not a lot of infrastructure needed except a shell script.
regards, tom lane