git-reset --hard: tell the user what the HEAD was reset to