MokoConsulting/MokoCassiopeia
1
1
Fork 0
Code Issues 4 Pull Requests Actions Packages Releases 1 Activity

Fix: Skip main branch deletion in release pipeline #27

Merged
Copilot merged 2 commits from copilot/fix-main-branch-deletion-error into main 2026-01-03 23:36:28 +00:00
Conversation 1 Commits 2 Files Changed 1 +5 -1
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/release_pipeline.yml vendored
View File

@@ -314,7 +314,11 @@ jobs:
git checkout -B "${DST}" "origin/${SRC}"
git push origin "${DST}"
git push origin --delete "${SRC}"
# 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"