diff --git a/.github/workflows/upstream pretest.yaml b/.github/workflows/upstream pretest.yaml index 3c99859d..90886ec7 100644 --- a/.github/workflows/upstream pretest.yaml +++ b/.github/workflows/upstream pretest.yaml @@ -133,6 +133,7 @@ jobs: $submodules += $subm $submodule_by_repo.Add($subm.repo, $subm) } + $submodules | Format-Table @@ -596,7 +597,7 @@ jobs: if (-not $?) { throw "git show failed" } if ($is_trivial) { Write-Host "Is trivial, removing..." - git push origin --delete $branch_name # BRANCH DELETE + # git push origin --delete $branch_name # BRANCH DELETE if (-not $?) { throw "git push --delete failed" } $core_removed_pr_nums += $pr_num } @@ -620,7 +621,7 @@ jobs: Write-Host "But main repo is still referencing it" } else { Write-Host "Removing..." - git push origin --delete "pretest/$pr_num" # BRANCH DELETE + # git push origin --delete "pretest/$pr_num" # BRANCH DELETE if (-not $?) { throw "git push --delete failed" } } Write-Host '~~~~~'