git reset --hard origin/develop
A veces, después de hacer un reset hard pueden quedar ficheros untracked en local, para que no aparezcan hacemos:
git clean -f -d
git clean lo que hace es eliminar todos los ficheros sin trackear
Más info aquí: http://stackoverflow.com/questions/4327708/git-reset-hard-head-leaves-untracked-files-behind