added deletion check, and added workflows #2

Merged
j.r merged 10 commits from develop into main 2026-06-12 08:28:13 +00:00
Showing only changes of commit 435d316258 - Show all commits

View File

@@ -39,7 +39,9 @@ jobs:
rm -rf "${REPO_DIR}"
AUTH_HEADER="$(printf '%s:%s' "${CLONE_USER}" "${CLONE_PASS}" | base64 | tr -d '\n')"
HEAD_BRANCH="${GITHUB_HEAD_REF:-${GITHUB_REF_NAME:-develop}}"
git clone \
--branch "${HEAD_BRANCH}" \
-c "http.extraHeader=Authorization: Basic ${AUTH_HEADER}" \
"${REPO_CLONE_URL}" \
"${REPO_DIR}"