From 4fa1a0e614c9176faa5952cb4a6925315915c41f Mon Sep 17 00:00:00 2001 From: rusefi Date: Fri, 17 Apr 2020 11:55:00 -0400 Subject: [PATCH] progress --- Special/Tools/git_merge_normal_git_into_wiki_git.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Special/Tools/git_merge_normal_git_into_wiki_git.bat b/Special/Tools/git_merge_normal_git_into_wiki_git.bat index 25155157..ca59aad1 100644 --- a/Special/Tools/git_merge_normal_git_into_wiki_git.bat +++ b/Special/Tools/git_merge_normal_git_into_wiki_git.bat @@ -13,6 +13,6 @@ git push wiki-git HEAD:master >> log.txt 2>>err.txt git checkout master >> log.txt 2>>err.txt git pull >> log.txt 2>>err.txt git branch -d wiki-git-local >> log.txt 2>>err.txt - +git branch -d best-wiki-git-local >> log.txt 2>>err.txt