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 +