From da37b4d1f563c81cdf1f7e7a584afbef6a2cf71a Mon Sep 17 00:00:00 2001
From: Wilco Kusee <wilcokusee@gmail.com>
Date: Mon, 20 Jun 2022 18:59:19 +0200
Subject: [PATCH] Add workaround for GitHub doc url's returning 403

---
 book/book.toml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/book/book.toml b/book/book.toml
index 6ab352fa9b2..0c9e7fabb5f 100644
--- 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"]
\ No newline at end of file