<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, May 22, 2019 at 3:31 PM Markus Metz <<a href="mailto:markus.metz.giswork@gmail.com">markus.metz.giswork@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><br><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".</div></div></blockquote><div><br></div><div>It is not that executing push before pull causes problems. You simply need to do pull when the branch in remote repo changed.</div><div><br></div><div>You would need to do pull before commit. If you do commit before pull, rebasing (as suggested by Even) then redos the commits on top of updated branch as if you would do them after pull.<br></div><div><br></div><div>It is the "Git is not Subversion" song. As far as I understood, Subversion is similar to CVS. However, Git is *very* different than CVS: "Take Concurrent Versions System (CVS) as an example of what not to do; if in doubt, make the exact opposite decision." [1] </div><div><br></div><div>[1] <a href="https://en.wikipedia.org/wiki/Git#History">https://en.wikipedia.org/wiki/Git#History</a></div><div> </div></div></div>