JonoB/CodeIgniter — comment on commit 8af2fdfda32303b8e2766d1fc873d1111baeb57e
File:  line 0
By philsturgeon:

You can roll this back with this:

git reset --hard HEAD^1
git push origin develop -f

That will roll it back 1 commit then force the push, so that you can pretend it never happened.