lisa.doc.helpers: Fix check_dead_links() (!1398) · Merge requests · Tooling / lisa · GitLab

GitLab Maintenance scheduled for Thursday, 18th December 2025, from 7:00 AM to 10:00 AM BST. GitLab will be in read-only mode and experience short periods of complete downtime (up to 20 minutes) during this window.

Douglas Raillard requested to merge github/fork/douglas-raillard-arm/_home_pr57 into master Apr 28, 2020

Add a User-Agent header to request since some servers return 403 Forbidden if no header is passed.