summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorArun Isaac <arunisaac@systemreboot.net>2019-01-07 23:11:58 +0530
committerArun Isaac <arunisaac@systemreboot.net>2019-01-10 15:39:35 +0530
commit40fa21c22e1d11b741515fd38f5204a5fa57fbaa (patch)
tree4467c710160509287c73d40fc40e646b52d9278b /.gitignore
parent394207c1ee05c4bb148896852f5dd90cdbff4bb5 (diff)
downloadguix-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 '.gitignore')
0 files changed, 0 insertions, 0 deletions