git flow commands
Develop:
git pull origin develop && git push origin develop
Master:
git pull origin master && git push origin master
Push finished hotfix:
git pull origin develop && git push origin develop && git checkout master && git pull origin master && git push origin master
last updated february 2015