branch master updated (5b524f4 -> 38f3176)

[guix-commits]

cbaines pushed a change to branch master
in repository guix.

      from  5b524f4   gnu: linux-libre: Update to 5.2.1.
       new  50fc238   scripts: lint: Handle warnings with a record type.
       new  5723853   scripts: lint: Separate the message warning text and data.
       new  f363c83   lint: Move the linting code to a different module.
       new  38f3176   lint: Separate checkers by dependence on the internet.

The 4 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 Makefile.am                 |    1 +
 guix/{scripts => }/lint.scm | 1014 +++++++++++++++---------------
 guix/scripts/lint.scm       | 1178 ++---------------------------------
 po/guix/POTFILES.in         |    1 +
 tests/lint.scm              | 1455 ++++++++++++++++++++-----------------------
 5 files changed, 1238 insertions(+), 2411 deletions(-)
 copy guix/{scripts => }/lint.scm (57%)