git-submodule.sh: remove duplicate call to set_rev_name