Magnus Hagander <magnus@hagander.net> writes: > On Sat, Apr 22, 2023 at 4:25 PM Tom Lane <tgl@sss.pgh.pa.us> wrote: >> Magnus Hagander <magnus@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.