John Naylor <john.nay...@2ndquadrant.com> writes: > On Wed, Jan 9, 2019 at 2:44 PM Tom Lane <t...@sss.pgh.pa.us> wrote: >> [patch to shrink oid index]
> It would help maintaining its newfound sveltness if we warned if a > higher oid was assigned, as in the attached. I used 6200 as a soft > limit, but that could be anything similiar. I think the reason we have this issue is that people tend to use high OIDs during development of a patch, so that their elbows won't be joggled by unrelated changes. Then sometimes they forget to renumber them down before committing. A warning like this would lead to lots of noise during the development stage, which nobody would thank us for. If we could find a way to notice this only when we were about to commit, it'd be good .. but I don't have an idea about a nice way to do that. (No, I don't want a commit hook on gitmaster; that's warning too late, which is not better.) regards, tom lane