From 5157dd8d86dc6d5cd3eb2430f5e67b5601f2ed76 Mon Sep 17 00:00:00 2001 From: Samuel Gruetter Date: Sun, 4 Feb 2018 14:22:30 -0500 Subject: make bbv submodule URL relative to origin, so that developers will clone the submodule via ssh, while travis will clone it via https --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index 8d733fc83..fcb04e5ee 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,4 +3,4 @@ url = https://github.com/JasonGross/coq-scripts.git [submodule "bbv"] path = bbv - url = git@github.com:mit-plv/bbv.git + url = ../../mit-plv/bbv.git -- cgit v1.2.3