* Tom Lane ([email protected]) wrote: > Stephen Frost <[email protected]> writes: > > * Robert Haas ([email protected]) wrote: > >> On Sat, Jun 17, 2017 at 5:41 PM, Peter Eisentraut > >> <[email protected]> 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?)
uhhhh, that would probably be pginfra in some capacity, but I don't recall seeing any notification of such a request. I will follow up with those responsible, #blamemagnus Thanks! Stephen
signature.asc
Description: Digital signature
