From 49684e56682455dd30df31df783e36d114f4a03e Mon Sep 17 00:00:00 2001 From: rusefi Date: Fri, 8 May 2020 16:12:20 -0400 Subject: [PATCH] ops, this little detail is very important --- Special/Tools/git_merge_wiki_git_into_normal_git.bat | 1 + 1 file changed, 1 insertion(+) diff --git a/Special/Tools/git_merge_wiki_git_into_normal_git.bat b/Special/Tools/git_merge_wiki_git_into_normal_git.bat index 5a530b22..2e653314 100644 --- a/Special/Tools/git_merge_wiki_git_into_normal_git.bat +++ b/Special/Tools/git_merge_wiki_git_into_normal_git.bat @@ -8,4 +8,5 @@ git push >> log.txt 2>>err.txt git fetch best-wiki-git >> log.txt 2>>err.txt git merge best-wiki-git/master >> log.txt 2>>err.txt +git push >> log.txt 2>>err.txt