From be9c89b3ff5d2f4393651eb721d008e55071e13c Mon Sep 17 00:00:00 2001 From: rusefi Date: Fri, 17 Apr 2020 12:15:46 -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 ca59aad1..effda3dc 100644 --- a/Special/Tools/git_merge_normal_git_into_wiki_git.bat +++ b/Special/Tools/git_merge_normal_git_into_wiki_git.bat @@ -2,7 +2,7 @@ git fetch normal-git >> log.txt 2>>err.txt git checkout -b wiki-git-local wiki-git/master >> log.txt 2>>err.txt git merge normal-git/master >> log.txt 2>>err.txt -git push wiki-git HEAD:master >> log.txt 2>>err.txt +git push best-wiki-git HEAD:master >> log.txt 2>>err.txt git checkout -b best-wiki-git-local wiki-git/master >> log.txt 2>>err.txt