On 6/2/2016 1:46 PM, Adam D. Ruppe wrote: > The compiler can help you with that. That's the point of the do not merge PR: it > got an actionable list out of the compiler and proved the way forward was viable. What is supposed to be done with "do not merge" PRs other than close them?