> On 2 Jun 2026, at 20:43, Andres Freund <andres@anarazel.de> wrote:
>> + # FIXME: Should we also run on PRs?
>>
>> I don't know why we would, since we don't use them.
>
> From what I can tell the workflow of plenty folks during their own development
> is to open PRs in their own repo.
Seconded, I think it's quite common (I personally do it all the time).
--
Daniel Gustafsson