[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#33801] import: github: Support source URIs that redirect to GitHub
From: |
Arun Isaac |
Subject: |
[bug#33801] import: github: Support source URIs that redirect to GitHub |
Date: |
Thu, 20 Dec 2018 16:50:50 +0530 |
> Hmm, now that I think about it, shouldn’t we store the github.com URL
> directly for these packages? We could add a new lint check along the
> lines of the ‘check-mirror-url’ procedure that would allow 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?
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2018/12/19
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2018/12/19
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2018/12/20
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2018/12/20
- [bug#33801] import: github: Support source URIs that redirect to GitHub,
Arun Isaac <=
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2018/12/20
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2018/12/20
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2018/12/20
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2018/12/20
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2018/12/21
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2018/12/21
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Arun Isaac, 2018/12/22
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Ludovic Courtès, 2018/12/23
- [bug#33801] import: github: Support source URIs that redirect to GitHub, Eric Bavier, 2018/12/20