github/token

This commit is contained in:
Marc Beninca 2024-06-23 23:11:51 +02:00
parent b2db44b58b
commit 1f18d97709
Signed by: marc.beninca
GPG key ID: 9C7613450C80C24F

View file

@ -353,12 +353,11 @@ Acquire::https::Verify-Peer False;
if [ -n "${GITHUB_ACTIONS}" ] ; then
# github → gitea → forgejo
if [ -n "${GITHUB_SERVER_URL}" ] ; then
PIDD_PROJECT_ROOT="$(dirname "${GITHUB_SERVER_URL}")//"
if [ -n "${GITHUB_TOKEN}" ] ; then
PIDD_PROJECT_ROOT="$(dirname "${GITHUB_SERVER_URL}")\
//${GITHUB_TOKEN}@$(basename "${GITHUB_SERVER_URL}")"
else
pidd_error_ci "GITHUB_TOKEN"
PIDD_PROJECT_ROOT="${PIDD_PROJECT_ROOT}${GITHUB_TOKEN}@"
fi
PIDD_PROJECT_ROOT="${PIDD_PROJECT_ROOT}$(basename "${GITHUB_SERVER_URL}")"
else
pidd_error_ci "GITHUB_SERVER_URL"
fi