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

better now?

This commit is contained in:
rusefi 2020-04-19 09:36:53 -04:00
parent 0694130243
commit a435942588
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Special/Tools/git_merge_personal_technical_into_personal_wiki_git.bat
View File

@ -3,4 +3,5 @@ git fetch personal-wiki-git >> log.txt 2>>
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 checkout master >> log.txt 2>>err.txt
git branch -d personal-wiki-git-local >> log.txt 2>>err.txt