git pull origin master pulls the git pull origin master branch from the remote called origin to your current branch. This affects only your current branch, not the local branch of the wizard.
This will give you a story that looks something like this:
- x - x - x - x (develop) \ / x - x - x (origin/master)
The local branch of the master does not matter in this. git pull is essentially a combination of git fetch and git merge ; it fetches the remote branch, then merges it into your current branch. This is a merger, like any other; he does nothing magic.
If you want to update the local branch of the wizard, you have no choice but to check this. It is not possible to merge into a branch that has not been verified, because a Git merge requires a work tree. (In particular, it is absolutely necessary to report merger conflicts and to resolve them.)
If you know that dragging to the wizard will be fast forward (i.e. you do not have commits in your local branch of the wizard that are not at the initial level), you can do as described in this answer .
mrj Jan 05 2018-12-18T00: 00Z
source share