diff --git a/Tools/gittools/submodule-sync.sh b/Tools/gittools/submodule-sync.sh new file mode 100755 index 0000000000..928a01f349 --- /dev/null +++ b/Tools/gittools/submodule-sync.sh @@ -0,0 +1,6 @@ +#!/bin/sh + +# this copes with moving origin remote to a new git organisation +git submodule update --recursive --force --init +git submodule sync --recursive +git submodule update --recursive --force --init