On Friday, 16 January 2015 at 04:20:37 UTC, Walter Bright wrote: > http://blog.ploeh.dk/2015/01/15/10-tips-for-better-pull-requests/ > Most are intuitive, but "10. Avoid thrashing" is worthy.