diff options
| author | Arun Isaac <arunisaac@systemreboot.net> | 2019-01-07 23:11:58 +0530 |
|---|---|---|
| committer | Arun Isaac <arunisaac@systemreboot.net> | 2019-01-10 15:39:35 +0530 |
| commit | 40fa21c22e1d11b741515fd38f5204a5fa57fbaa (patch) | |
| tree | 4467c710160509287c73d40fc40e646b52d9278b /graph.js | |
| parent | 394207c1ee05c4bb148896852f5dd90cdbff4bb5 (diff) | |
| download | patches-40fa21c22e1d11b741515fd38f5204a5fa57fbaa.tar patches-40fa21c22e1d11b741515fd38f5204a5fa57fbaa.tar.gz | |
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.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions