From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggsout.gnu.org ([209.51.188.92]:58301 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gfvDf-0002Rx-3Y for guix-patches@gnu.org; Sat, 05 Jan 2019 18:19:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gfvDa-00046M-6c for guix-patches@gnu.org; Sat, 05 Jan 2019 18:19:07 -0500 Received: from debbugsout.gnu.org ([209.51.188.43]:44167) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gfvDa-00046H-3D for guix-patches@gnu.org; Sat, 05 Jan 2019 18:19:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gfvDZ-0005Pu-OY for guix-patches@gnu.org; Sat, 05 Jan 2019 18:19:01 -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> Date: Sun, 06 Jan 2019 00:18:53 +0100 In-Reply-To: (Arun Isaac's message of "Sat, 22 Dec 2018 15:38:39 +0530") Message-ID: <87o98uzo9u.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: >>>From de88021c9a73d28f11bc2e060098484bd414da62 Mon Sep 17 00:00:00 2001 > From: Arun Isaac > Date: Fri, 21 Dec 2018 17:48:55 +0530 > Subject: [PATCH] guix: lint: Check for source URIs redirecting to GitHub. > > * guix/scripts/lint.scm (check-github-uri): New procedure. > (%checkers): Add it. > * doc/guix.texi (Invoking guix lint): Document it. > * tests/lint.scm ("github-url", "github-url: one suggestion"): New tests. I just realized that the warning also triggers when the URL is already a github.com URL: --8<---------------cut here---------------start------------->8--- $ ./pre-inst-env guix lint -c github-uri stellarium gnu/packages/astronomy.scm:135:12: stellarium@0.18.1: URL should be 'https:= //github.com/Stellarium/stellarium/releases/download/v0.18.1/stellarium-0.1= 8.1.tar.gz' --8<---------------cut here---------------end--------------->8--- I think that=E2=80=99s because the above URL redirects to . Any idea how we could avoid that? Thanks, Ludo=E2=80=99.