Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: make git-diff-develop work for PRs from foreign repos
The gh API requires authentication, even if the API endpoints do not. We can just fetch the PR URL directly without shelling out.
- Loading branch information