Closed maxvisser closed 5 years ago
As this repository is more likely to have forks and getting pull requests from forks, its harder to see the changes someone made locally.
to checkout to a pull request you first have to fetch it from github: git fetch origin pull/ID/head:BRANCHNAME
after that you can checkout to the branch you just created for the pull request: git checkout BRANCHNAME
Probably @jamalv and @gerben will be reviewing new additions to the docs the most. so if you can give thumbs up if you saw this.
As this repository is more likely to have forks and getting pull requests from forks, its harder to see the changes someone made locally.
to checkout to a pull request you first have to fetch it from github: git fetch origin pull/ID/head:BRANCHNAME
after that you can checkout to the branch you just created for the pull request: git checkout BRANCHNAME