From b707beed78f4fad375408555c57ba07be1372fc5 Mon Sep 17 00:00:00 2001
From: Romain Calascibetta <romain.calascibetta@gmail.com>
Date: Mon, 17 Oct 2022 15:15:02 +0200
Subject: [PATCH] Add a comment into the HTTP_client device to explain why the
 Git word appears

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index 0087908..c39e22e 100644
--- a/README.md
+++ b/README.md
@@ -37,6 +37,10 @@ let dns   = generic_dns_client stack
 let tcp   = tcpv4v6_of_stackv4v6 stack
 
 let http_client =
+  (* XXX(dinosaure): it seems unconventional to use [git_happy_eyeballs] here
+     when we want to do HTTP requests only. The name was not so good and we
+     will fix that into the next release of the mirage tool. But structurally,
+     you don't bring anything related to Git. It's just a bad choice of name. *)
   let happy_eyeballs = git_happy_eyeballs stack dns
     (generic_happy_eyeballs stack dns) in
   http_client $ default_posix_clock $ tcp $ happy_eyeballs