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