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

more tools

This commit is contained in:
rusefi 2020-04-11 15:58:07 -04:00
parent b73ae199d0
commit 1ecddd5d9a
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Special/Tools/.gitignore vendored Normal file
View File

@ -0,0 +1,2 @@
err.txt
log.txt

5
Special/Tools/git_merge_wiki_git_into_normal_git.bat Normal file
View File

@ -0,0 +1,5 @@
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