I'd like to try this,
github repos permission,
just to try it out?
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).