> On 2 Jun 2026, at 20:43, Andres Freund <[email protected]> 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
