Re: Run pgindent now?

On 2015-05-20 11:47:15 -0400, Robert Haas wrote:
> On Tue, May 19, 2015 at 10:26 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> > To do it before every minor release would require re-indenting HEAD
> > as well (since the whole point is to keep HEAD and the back branches
> > consistent).  I think we'd get too much push-back from developers
> > whose pending patches got broken.  We can get away with reindenting
> > HEAD between development cycles, but probably not more often than that.
> 
> I'm not convinced of that.  If we did it more often, it might actually
> be less disruptive.

I personally would be fine with doing it more often. I do think that
that'd require that a) make indent is provided *and* works in VPATH
builds, b) pg_bsd_indent would have to be in src/tools.