Stephen Frost <sfr...@snowman.net> writes:
> * Robert Haas (robertmh...@gmail.com) wrote:
>> On Sat, Jun 17, 2017 at 5:41 PM, Peter Eisentraut
>> <peter.eisentr...@2ndquadrant.com> wrote:
>>> On 6/16/17 10:51, Tom Lane wrote:
>>>> So I'm back to the position that we ought to stick the indent
>>>> code under src/tools/ in our main repo. Is anyone really
>>>> seriously against that?
>>> I think it would be better to have it separate.
>> +1.
> +1.
Given the license issues raised downthread, we have no choice in
the short term. So I have a request in to create a separate repo
on git.postgresql.org (whose chain do I need to pull to get that
approved, btw?)
regards, tom lane
--
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers
