Changes PR page titles to be useful, shows prominent branch name at top with click to copy, adds links to source lines for JetBrains IDEs, asks to confirm exit if you have comments pending.
当前为
Does four things:
Requires a JetBrains IDE + https://plugins.jetbrains.com/plugin/19991-ide-remote-control for the IDE link to work.
