Delete a remote / local Git branch

git branch -d your_local_branch_to_delete # use the simple name
git push origin :your_remote_branch_to_delete # use the simple name

Comments

Popular posts from this blog

Tuning ext4 for performance with emphasis on SSD usage

Java 8: Default Interface Implementations, The Diamond Problem, Multiple Inheritance, and Precedence

Tuning ext3 for performance without losing its data integrity potential