From e0fcfee2a3ea56d41424745958c6a87555a92ad6 Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Thu, 16 May 2019 15:38:40 +0200 Subject: [PATCH] Use different push and pull URLs for submodules --- .gitmodules | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitmodules b/.gitmodules index 638bce839..a225f004f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,9 +1,12 @@ [submodule "vendors/ligo-opam-repository"] path = vendors/ligo-opam-repository url = https://gitlab.com/gabriel.alfour/ligo-opam-repository.git + pushurl = git@gitlab.com:gabriel.alfour/ligo-opam-repository.git [submodule "vendors/ligo-utils"] path = vendors/ligo-utils url = https://gitlab.com/gabriel.alfour/ligo-utils.git + pushurl = git@gitlab.com:gabriel.alfour/ligo-utils.git [submodule "vendors/tezos-modded"] path = vendors/tezos-modded url = https://gitlab.com/gabriel.alfour/tezos-modded.git + pushurl = git@gitlab.com:gabriel.alfour/tezos-modded.git