+9

.github/workflows/upstream pretest.yaml

@@ -17,6 +17,10 @@ concurrency:
 # - One last commit at a time
 # TODO find a way to hide upstream-only changes
 # - Store sha on the pretest side, not subm-pretest
+# TODO don't update pretest, when only the /merge has changed
+# - Merge the /merge commit, but test the /head commit
+
+
 
 # There are 2 steps of adding new upstream commits:
 # 1. Add new commits from the PR merge ref (and possibly custom branch): to "pretest/$pr_num" in fork
@@ -512,6 +516,8 @@ jobs:
                         Write-Host '~~~~~'
                     }
                     
+                    Get-Content './.gitmodules'
+                    
                     Pop-Location