rusefi_documentation/Special/Tools/git_merge_wiki_git_into_nor...

6 lines
265 B
Batchfile
Raw Normal View History

2020-04-11 12:58:07 -07:00
git checkout master >> 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