mirror of
https://github.com/postgres/postgres.git
synced 2025-06-01 00:01:20 -04:00
Apparently, it's no longer welcome. Therefore replace it with "pristine", and add some explanatory text while at it. Reported by Brian Williams Discussion: https://postgr.es/m/157313712259.14261.16141263269989647311@wrigleys.postgresql.org