Update commit #12345 to link out to github PR if the commit happens to come from github.
Created by: jasongornall
Issue type
Internal request
Problem description
Context
Steps to reproduce
click this [commit] (https://sourcegraph.com/github.com/sourcegraph/sourcegraph/-/commit/bf6fadfed9ddb66dac4bfd598a28b6bf522d5f70) and observe you can't go directly to the PR
Impact
Should improve a very very common flow from people using sourcegraph engineers.
Additional details
No response
Assigning labels
-
If this issue will require input from designers in order to complete, please assign the label needs-design.