[git] "git pull" or "git merge" between master and development branches