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

There's no git command to ignore it, the main repo should merge their changes and then the other person can make a PR on the updated changes.


Where are PRs in Git?




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

Search: