fix(scripts): Push-Mirror ignores untracked files
Co-authored-by: Cursor <cursoragent@cursor.com>
This commit is contained in:
@@ -21,8 +21,8 @@ if ($LASTEXITCODE -ne 0) {
|
|||||||
throw "remote not configured: $remote"
|
throw "remote not configured: $remote"
|
||||||
}
|
}
|
||||||
|
|
||||||
if ((git status --porcelain)) {
|
if ((git status --porcelain -uno)) {
|
||||||
throw 'working tree not clean; commit or stash first'
|
throw 'working tree has uncommitted tracked changes; commit or stash first'
|
||||||
}
|
}
|
||||||
|
|
||||||
$before = (git rev-parse HEAD).Trim()
|
$before = (git rev-parse HEAD).Trim()
|
||||||
@@ -36,6 +36,6 @@ if (-not (git status --porcelain)) {
|
|||||||
|
|
||||||
git add -A
|
git add -A
|
||||||
git commit -m "chore(docs): sync repository URLs for ${Target} mirror"
|
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
|
git reset --hard $before
|
||||||
Write-Output "pushed $remote with ${Target} URLs; local main reset to $before"
|
Write-Output "pushed $remote with ${Target} URLs; local main reset to $before"
|
||||||
|
|||||||
Reference in New Issue
Block a user