...
git push # add --force if the branch was already pushed once, its commitcommits history is changed now ;)
...
git checkout develop
git reset --hard HEAD~3 # move develop back by 3 commits
(make sure you know how many commits you need to go back, you can scroll commit history with "git log" command and exit with "q")
...