ops, this little detail is very important

2020-05-08 16:12:20 -04:00 · 2020-05-08 16:12:20 -04:00 · 49684e5668
parent f580e2be64
commit 49684e5668
1 changed files with 1 additions and 0 deletions
--- 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