From d4ef3942a4d6fa261d50f490f1c11e1efd7671c2 Mon Sep 17 00:00:00 2001
From: Clement Tsang <34804052+ClementTsang@users.noreply.github.com>
Date: Fri, 26 Dec 2025 00:54:56 -0500
Subject: [PATCH] some more comments

---
 docs/hooks/nightly_banner.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/hooks/nightly_banner.py b/docs/hooks/nightly_banner.py
index b573060b..caac37a3 100644
--- a/docs/hooks/nightly_banner.py
+++ b/docs/hooks/nightly_banner.py
@@ -8,6 +8,7 @@ import mkdocs.plugins
 def on_config(config):
     print("Running nightly banner hook...", file=sys.stderr)
 
+    # From https://github.com/jimporter/mike/blob/3351d5feabff8ee107f4ad6d1f86055843c7dbf1/mike/mkdocs_utils.py#L13
     version = os.environ.get("MIKE_DOCS_VERSION")
     print(f"Version: {version}", file=sys.stderr)