Re: Adding CI to our tree

Andres Freund <andres@anarazel.de> writes:
> On 2021-10-02 16:44:44 -0400, Tom Lane wrote:
>> If you'd like that, there would need to be some (ahem) documentation
>> of how to use it.

> Yea, definitely necessary. Where would we want it to be? ci/README.md? That'd
> be viewable on the various git hosting platforms. I guess there's an argument
> for it to be in the sgml docs, but that doesn't seem all that useful in this
> case.

A README seems plenty good enough to me.  Maybe -0.1 for making
it .md rather than plain text ... plain text is our habit everywhere
else AFAIR.

            regards, tom lane