diff --git a/scripts/Push-Mirror.ps1 b/scripts/Push-Mirror.ps1 index 9aaecca..378edcb 100644 --- a/scripts/Push-Mirror.ps1 +++ b/scripts/Push-Mirror.ps1 @@ -36,6 +36,6 @@ if (-not (git status --porcelain)) { git add -A git commit -m "chore(docs): sync repository URLs for ${Target} mirror" -git push $remote main +git push --force-with-lease $remote main git reset --hard $before Write-Output "pushed $remote with ${Target} URLs; local main reset to $before"