Deleting a remote branch in Git repository

git push orign :your_remote_branch_name_to_delete ...pushes "null" to the respective remote branch and deletes it therefore.

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