Git - local and remote branches

Some notes on handling git local and remote branches:

After creating a new local branch, push it to the remote server using:

git push origin newbranch

To delete the remote branch if no longer needed use:

git push origin :branchtodelete


However, in other copies of the repository, the deleted branch will still show, in order to update the local list of remote branches in other repositories use:

git remote prune origin