On Sun, Apr 23, 2023, 09:39 Tom Lane <t...@sss.pgh.pa.us> wrote: > Magnus Hagander <mag...@hagander.net> writes: > > On Sat, Apr 22, 2023 at 4:25 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > >> Magnus Hagander <mag...@hagander.net> writes: > >>> It would perhaps be a good idea to push a README update to the > >>> pg_bsd_indent repo that states this? > > >> Good point. We could either do that or just take that repo down. > >> I'm happy to push such an update if the latter seems bad. > > > I think it's worth doing. If we just zap it we kill history. Not that > > there's a huge amount of it in there, but there is some and just in > > case. > > OK, README update done.
Thanks! /Magnus > >
