<div dir="ltr">One of the ways to avoid it is to review things you're going to merge. And one of the easiest ways to do it is to open a PR on github where you can clearly see which commits you're going to merge. I was similar errors multiple times when people do `git pull` instead of `git pull --rebase` and it was always easy to catch during PR review (even if you review your own PR by yourself).<div><br></div><div>Also just my opinion – you should never force push into public master branch.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Dec 21, 2016 at 11:44 AM, Marko Käning <span dir="ltr"><<a href="mailto:mk-macports@posteo.net" target="_blank">mk-macports@posteo.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I agree with Mojca, it looks messy now!<br>
We better fix it fast.<br>
Someone with admin access to the repo should be able to fix this if we don’t wait too long.<br>
<br>
I think we should somehow make sure that such merged branches cannot be pushed to the main repo, if rebasing is our policy for all committers anyway.</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">With best regards, Ivan Larionov.</div>
</div>