Merge pull request #1837 from input-output-hk/exclude_tokens_from_doc

Make sure GitHub tokens don't make it to documentation
IntersectMBO · May 25, 2023 · 11ec5ed · 11ec5ed
2 parents b9ccd35 + a59b44b
commit 11ec5ed
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/deploy_doc.sh b/deploy_doc.sh
@@ -4,6 +4,8 @@ set -euo pipefail
 
 DOC_SRC="src_docs"
 
+unset GH_TOKEN GITHUB_TOKEN
+
 # check that "$DOC_SRC" dir exists
 if [ ! -d "$DOC_SRC" ]; then
     echo "The '$DOC_SRC' dir doesn't exist, are you in the right directory?"

diff --git a/src_docs/source/conf.py b/src_docs/source/conf.py
@@ -117,6 +117,9 @@
     "css/copyright.css",
 ]
 
+# Clear tokens from the output
+os.environ["GITHUB_TOKEN"] = os.environ["GH_TOKEN"] = "token_XXXXXXXXXXXXXXXXXXXX"
+
 # Resolve function for the linkcode extension.
 
 # store current git revision