For example, I have these branches:
local                remote
master         ->    origin/master   (other users will update)
develop        ->    origin/develop  (other users will update)
And as of now, master/develop are pointing to same commit
Say I only have a README file and its content is master
1, I do following
$ git checkout develop
$ echo 'develop' >> README && git commit -am 'aaa' 
Question:
Suppose no other one changes origin/develop, no matter which branch I am in, 
git push origin develop will push local develop to origin/develop ?
2, After 1, become this:
local                       remote
master (README: master)     -> origin/master (README: master)
develop(README: develop)    -> origin/develop  (README: develop)
Next, someone changed origin/develop:README to other develop
local                       remote
master (README: master)     -> origin/master (README: master)
develop(README: develop)    -> origin/develop  (README: other develop)
So if I do
A. [in develop branch] $ git pull origin develop
my local develop:README will become other develop
B. [in master branch] $ git pull origin develop
my local develop:README will not change but my local master:README will become other develop???
so git pull origin develop does not mean pull origin/develop to local/develop?
It means pull origin/develop and merge into current branch ????
So how to pull origin/develop to local develop when I am in other branch?
- git pullwill update local master to- origin/masterand local develop to- origin/develop, is that right?
 
    