Theme by Anders Norén
7 January 2015
As of Git v1.7.0, you can delete a remote branch using
git push origin --delete <branchName>
src = stackoverflow.com
Posted7 January 2015 — 10 h 38 min
CategoriesGit, How to ?
If ssh client disconnect and freeze
Horizontal rule in zsh prompt
Comments are closed.