attach a diff or request a pull?

[Ryan Schmidt]

On Jul 1, 2017, at 09:01, Jan Stary wrote:

> There seem to be two way to send a patch to a port:
> 
>  1. create a ticket in trac and attach a diff
>  2. create a pull request on github
> 
> Is any of the two preferred by the MP developers?

I would say to whatever you're most comfortable with. I personally deal better with patchfiles, but most other developers are probably happy with pull requests too.