[judge2020]

Same for Jetbrains IDEs - right clicking a line will show 'open on GitHub' provided your git remote is pointing to GitHub.com.