From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:41364) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gZwQt-0005Bl-66 for guix-patches@gnu.org; Thu, 20 Dec 2018 06:24:03 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gZwQs-0005SQ-FV for guix-patches@gnu.org; Thu, 20 Dec 2018 06:24:03 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:51276) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gZwQs-0005SJ-Bf for guix-patches@gnu.org; Thu, 20 Dec 2018 06:24:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gZwQs-0004lQ-4y for guix-patches@gnu.org; Thu, 20 Dec 2018 06:24: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> Date: Thu, 20 Dec 2018 12:22:53 +0100 In-Reply-To: (Arun Isaac's message of "Thu, 20 Dec 2018 16:50:50 +0530") Message-ID: <87imzoqw6q.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 Arun Isaac skribis: >> Hmm, now that I think about it, shouldn=E2=80=99t we store the github.co= m URL >> directly for these packages? We could add a new lint check along the >> lines of the =E2=80=98check-mirror-url=E2=80=99 procedure that would all= ow us to find >> out which URLs need to be changed. If we took that route, the changes >> you made to the importer would no longer be necessary. :-/ > > My changes only took a small amount of effort. I don't have much of an > issue with them being made obsolete. Shall I proceed with creating a > lint check along the lines of what you proposed? Yes, if that sounds good to you, please do! Ludo=E2=80=99.