fix the git-DNS situation

2024-11-03 13:19:58 +01:00
parent 32112dce78
commit 98205adfc2
1 changed files with 3 additions and 1 deletions
--- a/git/.gitconfig
+++ b/git/.gitconfig
@ -9,5 +9,7 @@
 	rebase = false

 [http "http://*.onion"]
-	sslVerify = false
+	proxy = "socks5h://127.0.0.1:9050"
+
+[http "https://*.onion"]
 	proxy = "socks5h://127.0.0.1:9050"