Delete branch
git push origin --delete branchname

Force refresh of remote branch and list them
git fetch
git branch --all

Merge a branch onto another one
Merge branch 'branchname' into dev