+1

.github/workflows/upstream force tracking.yaml

@@ -1,6 +1,9 @@
-name: Upstream force tracking
+name: Upstream PR force-push tracking
 
 on:
+    push:
+        branches-ignore:
+            - 'subm-pretest/**'
     schedule:
         - cron: '30 * * * *'
     workflow_dispatch:
@@ -168,12 +171,12 @@ jobs:
                             # Write-Host "No upstream changes for PR $pr_num"
                             continue
                         }
-                        Write-Host "Upstream changes for PR $pr_num: $upstream_fwd_c new commits"
+                        Write-Host "Upstream changes for PR ${pr_num}: $upstream_fwd_c new commits"
                         
                         $ft_fwd_c = git rev-list --count "$b_r_upstream..HEAD"
                         if (-not $?) { throw "git rev-list failed" }
                         if ($ft_fwd_c -eq 0) {
-                            Write-Host "Force-tracking branch for PR $pr_num is in-line with upstream, fast-forwarding"
+                            Write-Host "Force-tracking branch is inline under upstream, fast-forwarding"
                             git reset --hard $b_r_upstream
                             if (-not $?) { throw "git reset failed" }
                             git push