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

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: