Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Use correct repository when using install_github with a pull request #658
Installing a pull request now uses the repository associated with the pull request's branch (and not the repository of the user who created the pull request).
Example: A shared repository where a collaborator has issued a pull request within this shared repo, e.g.,
Includes a test.