← Back to extensions

Hover an identifier in a Gitea pull request diff to see where it is defined and used, inside the PR and across the repo.

Hover an identifier in a Gitea pull request diff to see where it is defined and used, inside the PR and across the repo.

User reviews

No reviews collected yet.