diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-10-12 23:26:50 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-10-12 23:47:48 +0200 |
| commit | 61f28fe7e96e022055d3568956ed23c7a48e3548 (patch) | |
| tree | f4c7e372772d5479e12ef40f717840ce4cf97951 /.gitignore | |
| parent | 6ea10db973d861cd8774938e40151c0f8b2d266f (diff) | |
| download | guix-61f28fe7e96e022055d3568956ed23c7a48e3548.tar guix-61f28fe7e96e022055d3568956ed23c7a48e3548.tar.gz | |
lint: 'home-page' checker reports permanent redirects.
* guix/scripts/lint.scm (probe-uri): Add special case for HTTP 301.
(validate-uri): Likewise.
* tests/lint.scm ("home-page: 301, invalid")
("home-page: 301 -> 200", "home-page: 301 -> 404")
("source: 301 -> 200", "source: 301 -> 404"): New tests.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions