Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix #363 - github PR from forked repo handling
Previously, the GitHubController would set the clone URL to the repository's clone URL (equivalent to the PR base branch clone URL); this commit instead sets the clone URL to the clone URL of the pull request HEAD, so that scanned code changes are pulled from the correct repository, whether the PR was from a branch in the same repo or from a branch in a forked repository.
- Loading branch information