9 Oct
2017
9 Oct
'17
4:39 p.m.
AMDG On 10/09/2017 05:22 AM, Peter Dimov via Boost wrote:
Regardless of one's personal preference regarding Github issues, I think that we all ought to agree that Github pull requests are infinitely better than Trac patches (were much better even without CI, now it's not even a contest).
To be honest, I prefer patches, because it means I have to deal with git less.
And yet people who are willing to submit a patch are encouraged to do so on Trac. This wastes either theirs or the maintainer's time.
With respect to reports not containing a patch, I also consider Github issues much superior, due to their integration with everything else on Github - you can cross-reference issues, PRs, commits, and @ people.
In Christ, Steven Watanabe