Git Commands
Pull latest code to local dev branch
git pull origin dev
Merge latest pull-request into your branch
git checkout <your-branch>
git merge dev
Update remote branch list locally
git remote update origin --prune
Delete branch locally
git branch -d <branch-name>
