Abort any merge
This commit is contained in:
parent
69bd5d395f
commit
17501e8acc
|
@ -54,6 +54,7 @@ function git_pull {
|
|||
echo $'git_pull no repo specified'
|
||||
fi
|
||||
|
||||
git merge --abort
|
||||
git stash
|
||||
git remote set-url origin $1
|
||||
git checkout master
|
||||
|
|
Loading…
Reference in New Issue