On 17/09/2020 23:07, Peter Geoghegan wrote:
On Thu, Sep 17, 2020 at 1:34 AM Heikki Linnakangas
<[email protected]> 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
