rusefi
/
rusefi_documentation
mirror of https://github.com/rusefi/rusefi_documentation.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

tools

This commit is contained in:
rusefi 2020-04-11 16:43:08 -04:00
parent 71d2b741c2
commit 6dd9067703
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Special/Tools/git_merge_normal_git_into_wiki_git.bat
View File

@ -5,5 +5,6 @@ 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 pull >> log.txt 2>>err.txt
git branch -d wiki-git-local >> log.txt 2>>err.txt

1
Special/Tools/git_merge_wiki_git_into_normal_git.bat
View File

@ -1,5 +1,6 @@
git checkout master >> log.txt 2>>err.txt
git pull >> log.txt 2>>err.txt
git fetch wiki-git >> log.txt 2>>err.txt
git merge wiki-git/master >> log.txt 2>>err.txt
git push >> log.txt 2>>err.txt