workflow: Fix branch name for OdysseyHeaders repo

This commit is contained in:
MonsterDruide1 2024-04-18 12:06:40 +02:00
parent b3dffe7ca1
commit c32e55bb33

View File

@ -49,7 +49,7 @@ jobs:
fi
echo "MESSAGE=$PR_TITLE" >> "$GITHUB_ENV"
else
echo "HEADER_BRANCH=$DELETED_BRANCH" >> "$GITHUB_ENV"
echo "HEADER_BRANCH=${DELETED_BRANCH#refs/heads/}" >> "$GITHUB_ENV"
echo "AUTHOR_NAME=$COMMIT_AUTHOR_NAME" >> "$GITHUB_ENV"
echo "AUTHOR_MAIL=$COMMIT_AUTHOR_MAIL" >> "$GITHUB_ENV"
{