gaspersic/freeCodeCamp
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Added points to note for git pull command (#25439)

Browse Source 
Initially it can be confusing when someone hears about git pull and pull request. Have explained how git pull and pull request are separate concepts. Also fixed one typo
This commit is contained in:
Aditya Sridhar
2019-01-26 11:08:51 +05:30
committed by Manish Giri
parent ce63de866c
commit dbae7c6d24
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
guide/english/git/git-pull/index.md
View File

@ -95,7 +95,13 @@ For purposes of reviewing and such, PRs in remote should be fetched to the local
`git fetch origin pull/ID/head:BRANCHNAME`
ID is the pull request id and BRANCHNAME is the name of the branch that you want to create. Once the branch has been created you can use `git checkout` to switch to that brach.
ID is the pull request id and BRANCHNAME is the name of the branch that you want to create. Once the branch has been created you can use `git checkout` to switch to that branch.
### Points to Note
`git pull` is not to be confused with **PR(Pull Request)**. `git pull` is a command offered by git. While Pull Request is a feature provided by github.
Pull Request is raised by a developer to ensure the code from the developer's branch is merged back to the main branch. Before the code is merged back to the main branch, a reviewer will review the code in the pull request to ensure the code meets all the necessary standards.
### Other Resources on git pull