<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, May 21, 2017 at 7:46 AM, Raymond Toy <span dir="ltr"><<a href="mailto:toy.raymond@gmail.com" target="_blank">toy.raymond@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 5/20/17 1:48 AM, Daniel Kochmański wrote:<br>
> Are you sure, that commit you want to push share the same history? Afaik<br>
> protected branches never permit forced push (i.e reset few commits back)<br>
> and such disregarding the commiter permissions.<br>
</span>No, I'm not sure. But IIRC, the error message would have been something<br>
else.<br>
<br>
And that doesn't explain why I couldn't merge my own merge request,<br>
where the gui was asking me to find someone with commit access.<br>
<br>
I'm going to do a few quick tests soon, just to verify what happened.<br>
</blockquote></div><br><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">​Well, it's weird. I changed the master branch back to a protected branch.  Edited a file and pushed it successfully to the master branch.<br><br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">Not sure what I was doing wrong before, but I'm going to leave it this way for a bit and see what happens.​</div><br clear="all"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div></div>Ray<br></div></div>
</div></div>