On Sun, May 21, 2017 at 7:46 AM, Raymond Toy <toy.raymond@gmail.com> wrote:
On 5/20/17 1:48 AM, Daniel Kochmański wrote:
> Are you sure, that commit you want to push share the same history? Afaik
> protected branches never permit forced push (i.e reset few commits back)
> and such disregarding the commiter permissions.
No, I'm not sure. But IIRC, the error message would have been something
else.

And that doesn't explain why I couldn't merge my own merge request,
where the gui was asking me to find someone with commit access.

I'm going to do a few quick tests soon, just to verify what happened.

​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.

Not sure what I was doing wrong before, but I'm going to leave it this way for a bit and see what happens.​


--
Ray