From ebb5b44d3f7081fb1d51e68edf6c5f235e0cdd75 Mon Sep 17 00:00:00 2001 From: fendor Date: Mon, 14 Oct 2019 16:32:25 +0200 Subject: [PATCH] Change HaRe submodule to use different remote --- .gitmodules | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index fb73805e5..34e39fb4a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -12,8 +12,8 @@ [submodule "submodules/HaRe"] path = submodules/HaRe - url = https://github.com/bubba/HaRe.git - # url = https://github.com/wz1000/HaRe.git + # url = https://github.com/bubba/HaRe.git + url = https://github.com/wz1000/HaRe.git [submodule "submodules/cabal-helper"] path = submodules/cabal-helper