.github/rpr.sh: Use --force-with-lease instead of --force.

This prevents accidentally overriding a branch that has been changed
remotely by another party.
This commit is contained in:
Timo Reimann 2017-03-10 21:32:34 +01:00
parent 6e8e597ff5
commit 4148266ed0

2
.github/rpr.sh vendored
View file

@ -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