On Tue, Jun 2, 2026, 20:43 Andres Freund <[email protected]> wrote: > From what I can tell the workflow of plenty folks during their own > development > is to open PRs in their own repo. I don't really see a downside to also > running on PRs, so I'm inclined to do so. Won't hurt us... >
Generally you should do one or the other. Otherwise all jobs will be run twice when you push to a branch that is linked to a PR. So I'd say, only do push >
