IP Adresses in gitmodules