From 71d2b741c24da7383c3054622df29cabc18027d9 Mon Sep 17 00:00:00 2001
From: rusefi <rusefillc@gmail.com>
Date: Sat, 11 Apr 2020 16:27:32 -0400
Subject: [PATCH] tools

---
 Special/Tools/git_merge_normal_git_into_wiki_git.bat | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 Special/Tools/git_merge_normal_git_into_wiki_git.bat

diff --git a/Special/Tools/git_merge_normal_git_into_wiki_git.bat b/Special/Tools/git_merge_normal_git_into_wiki_git.bat
new file mode 100644
index 00000000..3ba38366
--- /dev/null
+++ b/Special/Tools/git_merge_normal_git_into_wiki_git.bat
@@ -0,0 +1,9 @@
+git checkout -b wiki-git-local wiki-git/master          >> log.txt 2>>err.txt
+
+git fetch normal-git                                    >> 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 checkout master                                     >> log.txt 2>>err.txt
+git branch -d wiki-git-local                            >> log.txt 2>>err.txt
+