From debbugs-submit-bounces@debbugs.gnu.org Fri May 31 08:02:02 2019 Received: (at 36018) by debbugs.gnu.org; 31 May 2019 12:02:02 +0000 Received: from localhost ([127.0.0.1]:34978 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hWgET-0000BP-PR for submit@debbugs.gnu.org; Fri, 31 May 2019 08:02:02 -0400 Received: from sender4-of-o53.zoho.com ([136.143.188.53]:21325) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hWgEP-0000Aw-3b for 36018@debbugs.gnu.org; Fri, 31 May 2019 08:01:59 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1559290474; cv=none; d=zoho.com; s=zohoarc; b=gtptFgadUMVrqiZjweIhaAJCz9cEwX8iUYApbf1OFTZdn+s/YLGaIeYWggtN3q2BRVlTxzIFn73TE1yYfVK+Z8CpbhHs2QdEVo4dfiG1yoaScBXOycHo2Ou5fHtq9oIknaPvr3sLknxsn4XrlU+OBnRSQmvxEjtGmkQczyV6++k= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1559290474; h=Content-Type:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To:ARC-Authentication-Results; bh=zM+/iDP/wcr64qUsuUvK4zMq13RACTSl3b9B43GMV8U=; b=fvZjzcI6uf/B8fCsAS/3QdPCpsRtW1NF+ThO4aslrQpg3KENMs7ZfALqf+DIQw8n0MRziAV1qzhZHz/3OwDmjVC4JWARIdxGeR1blaQrSqjGblbVugesjhLsmnBUjsfe/V8ncKxTNiKNMrDGIyWoooBf76b9HYl2YSbhnZiz3vc= ARC-Authentication-Results: i=1; mx.zoho.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1559290474; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:In-reply-to:Date:Message-ID:MIME-Version:Content-Type; l=204; bh=zM+/iDP/wcr64qUsuUvK4zMq13RACTSl3b9B43GMV8U=; b=S0LK5fAVcAaW8vam+CF2nIwHVY7oaY+34XFtG2g7EY9piE+mCR8QMMBTcDz6VWpL g4Bup5iAE8i/ILq1iuxsWF5usiJPDaL9JSJ7B+fLkdcJK3p+71zA+q3Dmh1sBVV2X5c +iZxC4GfCK+Jew4xC0Q40PInEOLVpuZ+Ob6TRfNo= Received: from localhost (p54AD4C51.dip0.t-ipconnect.de [84.173.76.81]) by mx.zohomail.com with SMTPS id 15592904734511002.8592272575486; Fri, 31 May 2019 01:14:33 -0700 (PDT) References: <20190531031552.16379-1-ericbavier@centurylink.net> User-agent: mu4e 1.2.0; emacs 26.2 From: Ricardo Wurmus To: Eric Bavier Subject: Re: [bug#36018] [PATCH] gnu: emacs-idris-mode: Use recent git checkout. In-reply-to: <20190531031552.16379-1-ericbavier@centurylink.net> X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Fri, 31 May 2019 10:14:30 +0200 Message-ID: <87o93jjb15.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain X-ZohoMailClient: External X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 36018 Cc: 36018@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 (-) Hi Eric, > From: Eric Bavier > > * gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Use git-fetch. > [version]: Include revision and commit. LGTM! -- Ricardo