attach a diff or request a pull?

[Jan Stary]

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?

        Jan