Merge pull request #2408 from bgilbert/workflow
authorColin Walters <walters@verbum.org>
Thu, 29 Jul 2021 00:27:35 +0000 (20:27 -0400)
committerGitHub <noreply@github.com>
Thu, 29 Jul 2021 00:27:35 +0000 (20:27 -0400)
workflows: bump lint toolchain; restrict repository access


Trivial merge