On Sat, Apr 19, 2025 at 2:13 PM Andrea Cocito <and...@cocito.eu> wrote: > > May I ask anyone to confirm that the proper way to submit them is a PR for > each port on bugzilla attaching a “git diff”?
There is no requirement to create separate PRs for separate ports. You can as well create a single PR and attach multiple patches or even better - an output of git format-patch --stdout