On 2024-May-14, Tom Lane wrote:

> I don't have a position on whether we want
> these additional files or not; but if we do, I think the best answer
> is to stick 'em under .github/ where they are out of the way but yet
> updatable by any committer.

+1 for .github/, that was my first reaction as well after reading the
link Peter posted.

-- 
Álvaro Herrera         PostgreSQL Developer  —  https://www.EnterpriseDB.com/
"Los trabajadores menos efectivos son sistematicamente llevados al lugar
donde pueden hacer el menor daño posible: gerencia."  (El principio Dilbert)


Reply via email to