Hacker News new | ask | show | jobs
by kahmeal 1828 days ago
push causes the error, the resolving pull creates the merge; the correct resolution has been pointed out as git pull --rebase but most people don't realize this.