From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:55885) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ghW5I-0001cb-3Z for guix-patches@gnu.org; Thu, 10 Jan 2019 03:53:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ghW5G-0000XZ-Bj for guix-patches@gnu.org; Thu, 10 Jan 2019 03:53:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:53647) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ghW5G-0000XV-7s for guix-patches@gnu.org; Thu, 10 Jan 2019 03:53:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ghW5G-0002wu-4U for guix-patches@gnu.org; Thu, 10 Jan 2019 03:53:02 -0500 Subject: [bug#33801] import: github: Support source URIs that redirect to GitHub Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <87d0pxtciz.fsf@gnu.org> <87woo4qxg7.fsf@gnu.org> <87k1k4p3gl.fsf@gnu.org> <877eg2q56k.fsf@gnu.org> <87o98uzo9u.fsf@gnu.org> <87zhsb1r0x.fsf@gnu.org> <87d0p57wfv.fsf@gnu.org> Date: Thu, 10 Jan 2019 09:52:29 +0100 In-Reply-To: (Arun Isaac's message of "Thu, 10 Jan 2019 13:15:36 +0530") Message-ID: <87ftu0evxu.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Arun Isaac Cc: 33801@debbugs.gnu.org Hello, Arun Isaac skribis: >> You can recheck your patch and push it I guess. > > Please find attached an updated patch complete with the test case. > > From 2711c58b8d713bf87e2a01d21a4bc6c77ccc7b7d Mon Sep 17 00:00:00 2001 > From: Arun Isaac > Date: Mon, 7 Jan 2019 23:11:58 +0530 > Subject: [PATCH] guix: lint: Warn only if GitHub URI is not same as the > package URI. > > * guix/scripts/lint.scm (check-github-url): Warn only if the GitHub URI > obtained after following redirects is not same as the original URI. > * tests/lint.scm ("github-url: already the correct github url"): New test. Alright, please push! Thank you, Ludo=E2=80=99.