On 14.05.24 19:33, Nathan Bossart wrote:
> 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/.
I'm fine with putting them under .github/.
I think for CONTRIBUTING.md, a better link would be
<https://www.postgresql.org/developer/>.