Add github PR checkout instruction

This commit is contained in:
Jean-Claude 2023-10-29 19:50:03 +01:00
parent ee23a836d8
commit b9648e0f2e
Signed by: jeanclaude
GPG Key ID: 8A300F57CBB9F63E
1 changed files with 5 additions and 0 deletions

5
git.md
View File

@ -40,3 +40,8 @@
- Checkout branch `git checkout -b <someRemoteName>/<branch> <fullRemoteBranchName>`
- Commit changes
- Push: `git push <someRemoteName> HEAD:<branch>`
## Checkout Github PR
- Checkout with same name as on remote: `git fetch origin pull/$ID/head`
- Checkout with same name `<NAME>`: `git fetch origin pull/$ID/head:<NAME>`