zeal-docs/scripts/download_from_git.sh

#!/bin/sh

set -exu

(
    cd "$BASE_DIRECTORY"
    git clone --branch "$GIT_BRANCH" --depth 1 "$GIT_URL"
)