Comment by knodi123

I enabled it because github's "turn this push into a PR" link is such a timesaver.