Reverting a git local commit

Specify the target repository to restore, like below (when the current checkout is develop)

1

git reset --hard remotes/origin/develop

If you don’t specify a repository, it seems to revert based on the currently checked-out remote

1

git reset --hard