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