diff options
author | Ludovic Courtès <ludo@gnu.org> | 2021-06-24 14:01:53 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-06-24 23:40:48 +0200 |
commit | 8a81ae61c183085b3a1edc4572d721ac5b2a581c (patch) | |
tree | 9f8a705edb1c7cd1b968ac8d300f9c413a95ec71 /doc | |
parent | 468a5f8676c82e17de98d12077c671823177d944 (diff) |
lint: 'github-url' checker gracefully handles networking errors.
Fixes <https://bugs.gnu.org/49114>.
Reported by Tobias Geerinckx-Rice <me@tobias.gr>.
* guix/lint.scm (call-with-networking-fail-safe, with-networking-fail-safe):
Move higher in the file.
* guix/lint.scm (check-github-url): Wrap call to
'follow-redirects-to-github' in 'with-networking-fail-safe'.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions