I'm the author of the post and contributed to the CR extension -- I'd love to hear people's feedback! (on the extension, please not the poetry)
github repos permission,
just to try it out?
For your own repository, it needs permission to set up a webhook to re-process the code whenever a new commit is pushed (otherwise, we can't provide jump-to-def info in the PR).