fix trilinos-pull-and-submit.sh for git