Re: pgsql: Add support for building GiST index by sorting.

On 17/09/2020 23:07, Peter Geoghegan wrote:
> On Thu, Sep 17, 2020 at 1:34 AM Heikki Linnakangas
> <heikki.linnakangas@iki.fi> wrote:
>> Add support for building GiST index by sorting.
> 
> You forgot to bump catversion, despite your best efforts.  :-)
> 
> You left this behind:
> 
> +/* FIXME: bump this before pushing! */
> 
> I have settled on a system for this: I write myself a reminder on a
> prominently placed post-it note, days in advance of commit. I rarely
> have to bump catversion (due to the kinds of things I work on), and
> iso t's just too easy to forget any other way.

D'oh! I think I'm going to write a git post-push hook for this. 
Apparently even a FIXME comment in the code is not enough of a reminder 
to me.

Thanks for fixing it, Tom.

- Heikki