Add a secret header to wiki requests (#2631)

Author: suhaibmujahid

.github/workflows/wiki.yaml

@@ -21,3 +21,5 @@ jobs:
 
       - name: Check rules on the wiki page
         run: python scripts/check_rules_on_wiki.py -ci
+        env:
+          WIKI_TOKEN_GHA: ${{ secrets.WIKI_TOKEN_GHA }}

scripts/check_rules_on_wiki.py

@@ -63,6 +63,13 @@ def __init__(self) -> None:
     def get_rules_on_wiki_page(self) -> set:
         """Get the list of rules on the wiki page."""
         req = Request(self.wiki_page_url)
+
+        # When running on GitHub Actions, we need to add the token to the request
+        # to access the wiki page. Otherwise, we get a 403 error.
+        wiki_token = os.environ.get("WIKI_TOKEN_GHA")
+        if wiki_token:
+            req.add_header("bugbotgha", wiki_token)
+
         with urlopen(req) as resp:
             wiki_page_content = resp.read().decode("utf-8")