diff --git a/merge-dev-to-devdyncore.sh b/merge-dev-to-devdyncore.sh new file mode 100755 index 000000000..680b49847 --- /dev/null +++ b/merge-dev-to-devdyncore.sh @@ -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