another git fast-forward merge revert question

Question

I was on autopilot last night and unwittingly merged a large feature feature/bigfeature branch into our develop branch and pushed it to the remote