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