git: delete local and remote branch

Delete local branch "serverfix":
git branch -d serverfix
Delete remote branch "serverfix":
git push origin :serverfix

Comments

Popular posts from this blog

Como configurar el control de directv para que funcione con el Tv

Show all values in Numpy array

Converting unicode date to datetime object.