Let's say I have a private topic branch called develop with 2 commits ahead of master.
git pull origin master do?
Pull everything from the remote master in the local develop and merge it? Pull everything in the local master branch and merge it?
And is there a way to update master from develop without
git checkout master first?