2020-01-23

How to modify a github PR that isn't mine

GitHub now allows people with write access to a repo to modify PRs that don't belong to them:


Checking out pull requests locally

No comments:

Post a Comment