Merge pull request #27 from mokoconsulting-tech/copilot/fix-main-branch-deletion-error

Fix: Skip main branch deletion in release pipeline
This commit was merged in pull request #27.
This commit is contained in:
Jonathan Miller
2026-01-03 17:36:28 -06:00
committed by GitHub

View File

@@ -314,7 +314,11 @@ jobs:
git checkout -B "${DST}" "origin/${SRC}"
git push origin "${DST}"
# Skip deletion of main branch as GitHub does not allow deleting the default branch
if [ "${SRC}" != "main" ]; then
git push origin --delete "${SRC}"
fi
{
echo "### Promotion report"