Suppose I have checked out a developer branch {develop} from git. From this all developers create local individual branches , make changes and push. Now if I am checked out to my local branch created from remote develop branch , so what would be difference between these 3 commands:
- git pull
- git pull origin
- git pull origin develop