commit 0e51868a0a8cb71fce430128787864f2d78d7cdc
Author: Peter Haight <[email protected]>
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://[email protected]/tor/lego.git
+ url = https://git.torproject.org/project/web/lego.git
_______________________________________________
tor-commits mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits
