Merge branch 'develop' into develop-dynamic-core

This commit is contained in:
Jonathan Campbell 2018-02-19 02:29:21 -08:00
commit b60a9fc38d

10
merge-dev-to-devdyncore.sh Executable file
View File

@ -0,0 +1,10 @@
#!/bin/bash
git checkout develop
git pull
git push
git checkout develop-dynamic-core
git pull
git push
git checkout develop-dynamic-core && git merge develop && git checkout develop && git fetch --all && git push --all && make -j