Reset Git to a commit

1) set local to a certain commit
git reset --hard 3a10bf5

2) push to remote develop branch.
git push -f origin develop