[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#33801] import: github: Support source URIs that redirect to GitHub
From: |
Ludovic Courtès |
Subject: |
[bug#33801] import: github: Support source URIs that redirect to GitHub |
Date: |
Tue, 08 Jan 2019 09:40:14 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Hello,
Arun Isaac <address@hidden> skribis:
> This is a simple mistake on my part and it's not because stellarium's
> origin URI redirects to the github-production-release-asset URI. Please
> find attached a patch addressing this.
>
> From a8bc92f507e35b54afdd24a42f0aa45ff7cb2c0b Mon Sep 17 00:00:00 2001
> From: Arun Isaac <address@hidden>
> 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.
Oh, I see. Perhaps we should add a test to catch this specific case so
that it doesn’t pop up again?
Otherwise LGTM.
Thanks,
Ludo’.
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2019/01/05
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2019/01/07
- [bug#33801] import: github: Support source URIs that redirect to GitHub,
Ludovic Courtès <=
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2019/01/08
- bug#33801: import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2019/01/09
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2019/01/10
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2019/01/10
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2019/01/10