04/04: lint: Rename checker to 'github-url'.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 012bf5c4c03e30633f137960bd0677e204c638a7
Author: Ludovic Courtès <address@hidden>
Date:   Sun Jan 6 00:21:14 2019 +0100

    lint: Rename checker to 'github-url'.
    
    * guix/scripts/lint.scm (%checkers): Rename 'github-uri' to 'github-url'
    to match the documentation.
---
 guix/scripts/lint.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/guix/scripts/lint.scm b/guix/scripts/lint.scm
index 2c1c7ec..040480c 100644
--- a/guix/scripts/lint.scm
+++ b/guix/scripts/lint.scm
@@ -1,7 +1,7 @@
 ;;; GNU Guix --- Functional package management for GNU
 ;;; Copyright © 2014 Cyril Roelandt <address@hidden>
 ;;; Copyright © 2014, 2015 Eric Bavier <address@hidden>
-;;; Copyright © 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès 
<address@hidden>
+;;; Copyright © 2013, 2014, 2015, 2016, 2017, 2018, 2019 Ludovic Courtès 
<address@hidden>
 ;;; Copyright © 2015, 2016 Mathieu Lirzin <address@hidden>
 ;;; Copyright © 2016 Danny Milosavljevic <address@hidden>
 ;;; Copyright © 2016 Hartmut Goebel <address@hidden>
@@ -1108,8 +1108,8 @@ or a list thereof")
      (description "Suggest 'mirror://' URLs")
      (check       check-mirror-url))
    (lint-checker
-     (name        'github-uri)
-     (description "Suggest GitHub URIs")
+     (name        'github-url)
+     (description "Suggest GitHub URLs")
      (check       check-github-url))
    (lint-checker
      (name        'source-file-name)