#!/bin/bash set -euo pipefail git_update.sh -d "$HTTP_DIR" "$GIT_SOURCE_REPO"