Use submodule github url that works for everybody