rusefi_documentation/Special/Tools/git_merge_personal_technica...

7 lines
441 B
Batchfile
Raw Normal View History

2020-04-18 11:20:13 -07:00
git fetch personal-wiki-git >> log.txt 2>>err.txt
git checkout -b personal-wiki-git-local personal-wiki-git/master >> log.txt 2>>err.txt
git merge origin/master >> log.txt 2>>err.txt
git push personal-wiki-git HEAD:master >> log.txt 2>>err.txt
git branch -d personal-wiki-git-local >> log.txt 2>>err.txt