attach a diff or request a pull?

[Jan Stary]

On Jul 01 19:39:19, mojca at macports.org wrote:
> One advantage of a pull request is that there's now an automated build
> running after you submit it and it's slightly easier to discuss the
> code line-by-line when needed.
> 
> And that there are currently slightly above 30 open pull requests,
> while there are thousands open trac tickets, so PRs probably get
> slightly more visibility.

On Jul 01 19:12:32, jonesc at hep.phy.cam.ac.uk wrote:
> >  1. create a ticket in trac and attach a diff
> >  2. create a pull request on github
> The second for me, by far.

Pull request it is than, thanks.

	Jan