gitcmd.sh: don't assume "pull"

If the git command to run is not "pull" then don't fetch the contrib
repositories. Conversely, if the git command is "pull" additionally fetch the
contrib repositories.