On Thu, 2 Apr 2020, Peter Wang wrote: >> As I recall, there's some git submodule magic required to update >> existing workspaces. Could you please remind us (well, me at least!) >> what that is? > > This should do it: git submodule update --recursive Thank you, that's what I was after. Julien.