From dbae7c6d24fe96f4dfa8c062f23c830f77e77ea0 Mon Sep 17 00:00:00 2001 From: Aditya Sridhar Date: Sat, 26 Jan 2019 11:08:51 +0530 Subject: [PATCH] Added points to note for git pull command (#25439) 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 --- guide/english/git/git-pull/index.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/guide/english/git/git-pull/index.md b/guide/english/git/git-pull/index.md index 7ada48c466..ff9dd750cc 100644 --- a/guide/english/git/git-pull/index.md +++ b/guide/english/git/git-pull/index.md @@ -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