Git: More thorough reset_local_repo