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.
OK, README update done.
regards, tom lane