Closed mbonsma closed 5 years ago
This branch is on @mbonsma's fork, so you won't see it with a pull. To get the branch from a PR, you can do (assuming your remote is named upstream
):
git fetch upstream pull/279/head:name-to-use-locally
git checkout name-to-use-locally
Ping me in the gitter room if this does not work.
Thank you @QuLogic !
I did git pull but still can't see these files locally.