#!/bin/bash
set -e
if [ ! -d .git ]; then
  git clone --depth=1 --branch "${GITHUB_REF_NAME:-main}" "http://100.78.131.124:3300/${GITHUB_REPOSITORY}.git" .
fi