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 9cca522e..c9895dac 100644 --- a/Special/Tools/git_merge_normal_git_into_wiki_git.bat +++ b/Special/Tools/git_merge_normal_git_into_wiki_git.bat @@ -1,17 +1,21 @@ +echo Fetching everything >> log.txt 2>>err.txt git fetch technical-git >> log.txt 2>>err.txt git fetch best-wiki-git >> log.txt 2>>err.txt git fetch temp-wiki-git >> log.txt 2>>err.txt + +echo Merging technical into best wiki >> log.txt 2>>err.txt git checkout -b best-wiki-git-local best-wiki-git/master >> log.txt 2>>err.txt git merge technical-git/master >> log.txt 2>>err.txt git push best-wiki-git HEAD:master >> log.txt 2>>err.txt +echo Merging technical into wiki which we shall remove >> log.txt 2>>err.txt git checkout -b temp-wiki-git-local temp-wiki-git/master >> log.txt 2>>err.txt git merge technical-git/master >> log.txt 2>>err.txt git push temp-wiki-git HEAD:master >> log.txt 2>>err.txt - +echo Cleanup >> log.txt 2>>err.txt git checkout master >> log.txt 2>>err.txt git pull >> log.txt 2>>err.txt git branch -d temp-wiki-git-local >> log.txt 2>>err.txt