diff --git a/Special/Tools/git_merge_personal_technical_into_personal_wiki_git.bat b/Special/Tools/git_merge_personal_technical_into_personal_wiki_git.bat index 18c75e1c..61b1c52d 100644 --- a/Special/Tools/git_merge_personal_technical_into_personal_wiki_git.bat +++ b/Special/Tools/git_merge_personal_technical_into_personal_wiki_git.bat @@ -3,4 +3,5 @@ git fetch personal-wiki-git >> log.txt 2>> git checkout -b personal-wiki-git-local personal-wiki-git/master >> log.txt 2>>err.txt git merge origin/master >> log.txt 2>>err.txt git push personal-wiki-git HEAD:master >> log.txt 2>>err.txt +git checkout master >> log.txt 2>>err.txt git branch -d personal-wiki-git-local >> log.txt 2>>err.txt