You mean git push origin :branchname doesn't immediately say "remove the branch branchname from wherever it is you have set as the origin repository" to you?!?
The Register 
Biting the hand that feeds IT
About Us
Our Websites
Copyright. All rights reserved © 1998–2024
