Merge branch 'jk/subtree-do-not-push-if-split-fails' into maint
* jk/subtree-do-not-push-if-split-fails: contrib/subtree: don't delete remote branches if split fails
This commit is contained in:
commit
7f3447cce8
@ -715,7 +715,8 @@ cmd_push()
|
||||
repository=$1
|
||||
refspec=$2
|
||||
echo "git push using: " $repository $refspec
|
||||
git push $repository $(git subtree split --prefix=$prefix):refs/heads/$refspec
|
||||
localrev=$(git subtree split --prefix="$prefix") || die
|
||||
git push $repository $localrev:refs/heads/$refspec
|
||||
else
|
||||
die "'$dir' must already exist. Try 'git subtree add'."
|
||||
fi
|
||||
|
Loading…
Reference in New Issue
Block a user