Don't "repo sync" in sync-repo.sh

Once this script is run, Jenkins has already done this.