[JustinAiken]

Haha, I installed it anyways - most of the time I open a commit, I'm looking for the original PR, so having the name nice and clickable beats hunting for a few digits :+1:

[shakedown]

Cool :) Also -- this has the benefit of showing PRs that haven't been merged yet.