+21

.github/workflows/upstream pretest.yaml

@@ -432,6 +432,7 @@ jobs:
                         git checkout $b_core_subm_pretest
                         if (-not $?) { throw "git checkout failed" }
                         
+                        $need_force_push = $false
                         Write-Host "--- Deleting the latest [trivial] commits:"
                         while ($true) {
                             ($commit_name = (git log -1 --pretty=format:"%B" HEAD) -join "`n")
@@ -440,6 +441,11 @@ jobs:
                             Write-Host "====="
                             git reset --hard HEAD~1
                             if (-not $?) { throw "git reset failed" }
+                            $need_force_push = $true
+                        }
+                        if ($need_force_push) {
+                            git push -f
+                            if (-not $?) { throw "git push -f failed" }
                         }
                         
                         # expecting fast-forward when possible