On Jul 01 19:39:19, mo...@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, jon...@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