Yes, and I can't believe I didn't realize that when I was building this extension.
That being said, this plugin still adds some additional features:
- Shows names of PRs instead of just numbers
- Shows issues (and not just PRs) that reference the commit
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: