From 88ebb2376f17fd5545b76d5af7ad0f5febc9a82c Mon Sep 17 00:00:00 2001
From: Wesley Maxey <71408887+wmaxey@users.noreply.github.com>
Date: Tue, 10 Oct 2023 09:59:45 -0700
Subject: [PATCH] [CI] Sink error when git repo is missing from build.

---
 ci/build_common.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/build_common.sh b/ci/build_common.sh
index 761ea4c455..81210f4090 100755
--- a/ci/build_common.sh
+++ b/ci/build_common.sh
@@ -90,7 +90,7 @@ echo "GPU_ARCHS=$GPU_ARCHS"
 echo "PARALLEL_LEVEL=$PARALLEL_LEVEL"
 echo "BUILD_DIR=$BUILD_DIR"
 echo "Current commit is:"
-git log -1
+git log -1 || "Not a repository"
 echo "========================================"
 
 function configure(){