Can you do this in the .gitmodule file without the dev needing to manually change it?