From ee6908fe646c362b3c8b37d6cf49e97f0e835b84 Mon Sep 17 00:00:00 2001
From: Niels Bantilan <niels.bantilan@gmail.com>
Date: Thu, 14 Dec 2023 11:13:02 -0500
Subject: [PATCH] convert commit to string

Signed-off-by: Niels Bantilan <niels.bantilan@gmail.com>
---
 docs/_ext/import_projects.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/_ext/import_projects.py b/docs/_ext/import_projects.py
index 214f6b5387..b4fa6310d7 100644
--- a/docs/_ext/import_projects.py
+++ b/docs/_ext/import_projects.py
@@ -151,7 +151,7 @@ def import_projects(app: Sphinx, config: Config):
                 # If tags don't exist just use the current commit. This occurs
                 # when the git repo is a shallow clone.
                 tag_str = "dev"
-                commit = repo.head.commit
+                commit = str(repo.head.commit)[:7]
             else:
                 tag = tags[-1]
                 tag_str = str(tag)