Skip to content
GitLab
Explore
Sign in
lisa.doc.helpers: Fix check_dead_links()
Code
Review changes
Check out branch
Download
Patches
Plain diff
Douglas Raillard
requested to merge
github/fork/douglas-raillard-arm/_home_pr57
into
master
Apr 28, 2020
Overview
1
Commits
1
Pipelines
0
Changes
1
Expand
Add a User-Agent header to request since some servers return 403 Forbidden if no header is passed.
Merge request reports