Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Yeah, deleting a remote branch by "git push remote :branch" is pretty terrible, one colon between heaven and hell.


If you understand how git push works, it sort of makes sense. But fortunately the devs added a --delete option to git push which is much more clear.


That is indeed clearer, thanks for the tip!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: