commit 0e51868a0a8cb71fce430128787864f2d78d7cdc Author: Peter Haight peterh@giantrabbit.com Date: Tue Oct 13 11:15:19 2020 -0700

Switch back to official repository

We were using the GR repository for this because we didn't want to update the official repository until we were ready to merge. --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules index 96cf970..d246c46 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "lego"] path = lego - url = ssh://git@git.giantrabbit.com/tor/lego.git + url = https://git.torproject.org/project/web/lego.git