From 61ed2ef585ef7e4f8c942c575dddcd3550bd04e9 Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Sun, 26 Jun 2022 20:16:20 -0700 Subject: [PATCH] Make sure force push always pushes something for each arg --- scripts/rebase.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/rebase.sh b/scripts/rebase.sh index 45fce03..b0152d1 100755 --- a/scripts/rebase.sh +++ b/scripts/rebase.sh @@ -27,6 +27,7 @@ for crate in "$@"; do set -x git tag --delete "$crate" &>/dev/null || true git checkout --quiet origin/"$crate" + git commit --quiet --amend --no-edit git rebase --quiet "$base" ) push+=("$(git rev-parse HEAD):refs/heads/$crate")