Address comments

Author: svekars

.github/workflows/doc-build.yml

@@ -90,6 +90,9 @@ jobs:
       script: |
         set -euo pipefail
 
+        # Get github.ref for the output doc folder. By default "main"
+        # If matches a tag like refs/tags/v1.12.0rc3 or
+        # refs/tags/v1.12.0 conver to 1.12 
         GITHUB_REF=${{ github.ref }}
 
         # Convert refs/tags/v1.12.0rc3 into 1.12.