+59

.github/workflows/upstream pretest.yaml

@@ -201,7 +201,7 @@ jobs:
                     $main_repo_url = '${{ github.server_url }}/${{ github.repository }}'
                     Write-Host "fetching commits of: $main_repo_url"
                     git clone --filter=tree:0 $main_repo_url
-                    git fetch
+                    git fetch $main_repo_url
                     git branch -r
                     
                     $core_removed_pr_nums = @()
@@ -217,8 +217,8 @@ jobs:
                             $is_trivial = false
                         }
                         if ($is_trivial) {
-                            Write-Host "Is trivial, removing"
-                            git push origin --delete $branch_name
+                            Write-Host "Is trivial, removing..."
+                            # git push origin --delete $branch_name
                             $core_removed_pr_nums += $pr_num
                         }
                         Write-Host '~~~~~'
@@ -236,7 +236,8 @@ jobs:
                         if ($core_pretest_pr_nums -contains $pr_num) {
                             Write-Host "But main repo is still referencing it"
                         } else {
-                            git push origin --delete "pretest/$pr_num"
+                            Write-Host "Removing..."
+                            # git push origin --delete "pretest/$pr_num"
                         }
                         Write-Host '~~~~~'
                     }