How to delete a pushed git merge commit

Question

I merged a couple of devel commits into the master branch of my repo just to find out that GitAhead screwed up the master at some point.

Now I tried various methods d