rusefi_documentation/Special/Tools/git_merge_normal_git_into_w...

11 lines
549 B
Batchfile
Raw Normal View History

2020-04-11 13:27:32 -07:00
git checkout -b wiki-git-local wiki-git/master >> log.txt 2>>err.txt
git fetch normal-git >> log.txt 2>>err.txt
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
2020-04-11 13:43:08 -07:00
git pull >> log.txt 2>>err.txt
2020-04-11 13:27:32 -07:00
git branch -d wiki-git-local >> log.txt 2>>err.txt