<div dir="ltr"><div>Hi git gurus,</div><div><br></div><div>when I modify my local copy and do git commit + git push, I sometimes get an error:</div><div>"failed to push some refs"</div><div>and a hint:</div><div>"Updates were rejected because the remote contains work that you do not have locally. This is usually caused by another repository pushing to the same ref. You may want to first integrate the remote changes (e.g., 'git pull ...') before pushing again."</div><div><br></div><div>OK, I do "git pull" and get confronted with a merge commit message.</div><div><br></div><div>After that, I do "git push" and commit a merge that does nothing.</div><div><br></div><div>Of course I could (should) do a "git pull" before a "git push", but I think it is not uncommon that someone forgets the "git pull" before the "git push". Therefore I would like to know how I can get rid of this bogus merge commit that changes nothing but spams the history, and burns Travis CI, e.g.  [1, 2].</div><div><br></div><div>Thanks,</div><div><br></div><div>Markus M</div><div><br></div><div>[1] <a href="https://travis-ci.com/OSGeo/grass/builds/112790153">https://travis-ci.com/OSGeo/grass/builds/112790153</a></div><div>[2] <a href="https://travis-ci.com/OSGeo/grass/builds/112567602">https://travis-ci.com/OSGeo/grass/builds/112567602</a></div></div>