rusefi_documentation/Special/Tools/git_merge_personal_wiki_int...

5 lines
265 B
Batchfile
Raw Permalink Normal View History

2020-04-19 10:16:03 -07:00
git checkout master >> log.txt 2>>err.txt
git merge personal-wiki-git-local >> log.txt 2>>err.txt
git push >> log.txt 2>>err.txt