From c19858925cbb4ab0547038b3b6a03ec429b885a7 Mon Sep 17 00:00:00 2001
From: "Lee, Jeong Han" <jeonghan.lee@gmail.com>
Date: Sat, 17 Aug 2024 13:59:09 -0700
Subject: [PATCH] check the way to switch pull request patch in
 install_apps.bash

---
 scripts/install_apps.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/install_apps.bash b/scripts/install_apps.bash
index 1f7b313..4404bc3 100755
--- a/scripts/install_apps.bash
+++ b/scripts/install_apps.bash
@@ -62,7 +62,7 @@ if [[ "${OS_NAME}" == "rocky" ]]; then
         pushd splint || exit
         # Bison 3.7
         # https://github.com/splintchecker/splint/pull/26
-        git pull origin pull/26/head
+        git fetch origin pull/26/head
         autoreconf -i -v -f || exit
     else
         printf "\n";