Last modified: 2013-07-04 13:38:33 UTC
When attempting to push patchset3 to https://gerrit.wikimedia.org/r/#/c/71610/ I somehow managed to unwittingly merge https://gerrit.wikimedia.org/r/#/c/58464/ When then trying to do the same the patchset was correctly pushed to gerrit.
above I mean to refer to patchset4.
It seems the accidental merge has already been reverted in: https://gerrit.wikimedia.org/r/#/c/71810/
but should such a merge have even been possible?
Yes, as you have Push permissions on that repository. So you can push a commit directly to a ref on the repository (e.g.: master). Gerrit notices that you updated the ref to include a commit that is still pending for review, and sets that review to "Merged". Looks correct to me.