3 ms·I've tried this - it helps, but it's not a silver bullet. (And GitHub doesn't use it in PRs)by hadley 10y agoI've tried this - it helps, but it's not a silver bullet. (And GitHub doesn't use it in PRs)