#36374 ‘guix pull’ should not suggest running ‘guix pull’

Received: (at submit) by debbugs.gnu.org; 26 Jun 2019 14:19:45 +0000
From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 26 10:19:45 2019
Received: from localhost ([127.0.0.1]:36641 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1hg8m1-0004YI-0N
	for submit@debbugs.gnu.org; Wed, 26 Jun 2019 10:19:45 -0400
Received: from lists.gnu.org ([209.51.188.17]:33128)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <julien@lepiller.eu>) id 1hg8ly-0004Y9-D6
 for submit@debbugs.gnu.org; Wed, 26 Jun 2019 10:19:43 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:53350)
 by lists.gnu.org with esmtp (Exim 4.86_2)
 (envelope-from <julien@lepiller.eu>) id 1hg8lx-0003Qo-Bh
 for bug-guix@gnu.org; Wed, 26 Jun 2019 10:19:42 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=BAYES_40,URIBL_BLOCKED
 autolearn=disabled version=3.3.2
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <julien@lepiller.eu>) id 1hg8lw-0007gv-2k
 for bug-guix@gnu.org; Wed, 26 Jun 2019 10:19:41 -0400
Received: from lepiller.eu ([2a00:5884:8208::1]:52658)
 by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <julien@lepiller.eu>)
 id 1hg8lv-0007a3-PA; Wed, 26 Jun 2019 10:19:40 -0400
Received: from [100.77.211.47] (ip37.ip-54-36-222.eu [54.36.222.37])
 by lepiller.eu (OpenSMTPD) with ESMTPSA id e2d72c67
 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); 
 Wed, 26 Jun 2019 14:19:32 +0000 (UTC)
Date: Wed, 26 Jun 2019 16:19:26 +0200
User-Agent: K-9 Mail for Android
In-Reply-To: <87a7e5n4fg.fsf@gnu.org>
References: <87a7e5n4fg.fsf@gnu.org>
MIME-Version: 1.0
Content-Type: multipart/mixed; boundary="----JAKAIU8MLHDUBLJF0W7GBI1UMNVN60"
Content-Transfer-Encoding: 7bit
Subject: Re: bug#36374: ‘guix pull’ should not suggest running ‘guix pull’
To: bug-guix@gnu.org,Ludovic Courtès <ludo@gnu.org>
From: Julien Lepiller <julien@lepiller.eu>
Message-ID: <E398A193-BBCE-4EDE-9671-B4A0AAD2998E@lepiller.eu>
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
 recognized.
X-Received-From: 2a00:5884:8208::1
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -3.3 (---)