From debbugs-submit-bounces@debbugs.gnu.org Fri Nov 19 06:59:16 2021 Received: (at 51888) by debbugs.gnu.org; 19 Nov 2021 11:59:16 +0000 Received: from localhost ([127.0.0.1]:38253 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mo2Y0-0006oY-Iu for submit@debbugs.gnu.org; Fri, 19 Nov 2021 06:59:16 -0500 Received: from lepiller.eu ([89.234.186.109]:39274) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mo2Xy-0006oP-Ct for 51888@debbugs.gnu.org; Fri, 19 Nov 2021 06:59:15 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 9726848b; Fri, 19 Nov 2021 11:59:12 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=OkkMrG6a5Wh0 AxKCuJLoyyZlq116PZw+n5RgW2YIobY=; b=GEf7iOlG4Fry8Dnc+u+KBKtd8mbQ n9oqhKRHN5WefPaqnPdASeDMBGswqV5hUu2WWAKu6X/BFSjgvhTbfS9ClPbfLmdA QkiYQG+zPgouNQKeSnCbmWg+X8+3anzT2SKaguKbWYo6uR93jAr482grggAq+Y2C oV86ZOzC2mdTpR+KvjPt2qdVkoCJQm39JTpFqDa1d+1Ur7NP0td4x25OwfqhJmEz 6LKRJ3qsH32mekEqGJJRDNQ97W+s3IaDNVQbCreLUuEpw+MwOW/LxUX3xzqLk37e v3TxtU3GhyMn2xwtaa2alstCAoj8zLZzvQoF2Imu4YatLwZDD2BLSq3Zmw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 4fdd7ce5 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO); Fri, 19 Nov 2021 11:59:12 +0000 (UTC) Date: Fri, 19 Nov 2021 12:59:00 +0100 From: Julien Lepiller To: zimoun Subject: Re: [bug#51888] [PATCH 0/1] import: opam: Warn instead of leave when fetching fails. Message-ID: <20211119125900.621b1975@tachikoma.lepiller.eu> In-Reply-To: <20211116101043.58471-1-zimon.toutoune@gmail.com> References: <20211116101043.58471-1-zimon.toutoune@gmail.com> X-Mailer: Claws Mail 4.0.0 (GTK+ 3.24.24; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 51888 Cc: 51888@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Pushed to master as b5d51bb19e790baee9b16a3325397ec92d8e7625, thanks!