diff --git a/.github/rpr.sh b/.github/rpr.sh index 656266f1d..8049088c0 100755 --- a/.github/rpr.sh +++ b/.github/rpr.sh @@ -33,4 +33,4 @@ trap clean EXIT .github/cpr.sh $pr git rebase $base -git push -f $remote $branch +git push --force-with-lease $remote $branch