On Tue, May 14, 2024 at 06:12:26PM +0200, Alvaro Herrera wrote:
> 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.
Here's an updated patch that uses .github/.
--
Nathan Bossart
Amazon Web Services: https://aws.amazon.com