Auto merge of #769 - detrumi:mdbook-gh-docs-403-fix, r=jackh726

Add workaround for GitHub doc url's returning 403
rust-lang · Jun 20, 2022 · 4b31070 · 4b31070
2 parents 280d955 + da37b4d
commit 4b31070
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/book/book.toml b/book/book.toml
@@ -16,3 +16,7 @@ additional-js = ["mermaid.min.js", "mermaid-init.js"]
 follow-web-links = true
 warning-policy = "error"
 optional = true
+
+# Workaround for GitHub docs returning 403 response: https://github.com/github/docs/issues/17358
+[output.linkcheck.http-headers]
+"https://help.github.com" = ["accept-encoding: deflate, gzip, br"]