Aditya Sridhar dbae7c6d24 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

2019-01-26 00:38:51 -05:00

..

index.md

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

2019-01-26 00:38:51 -05:00