2 ms·

Is there some trick I don't know about, to quickly go from a source line, to the PR discussion? If there is, the PR discussion might be the right place for exp

• masklinn 4y ago
  > Is there some trick I don't know about, to quickly go from a source line, to the PR discussion? Assuming people are religious about putting the PR ID in the commit message, you might be able to relatively easily jump from the commit you found normally (e.g. blame-diving or via the log) to the PR. Whatever your tool might even be able to do the jump in one shot, though I think it jetbrains stuff it usually takes two (“open in > Github” from the commit, and from there click the reference to the PR). But obviously that means you did go through the commit message, and having had a good summary in the commit message would likely have saved you the trouble.