update to use --refresh, not update index if modification time is unc…

…hanged

.github/workflows/check_clean_branch.sh

@@ -7,6 +7,6 @@ set -o pipefail
 
 # Modifies the index based on the current index.
 # Checks to see if merges or updates are needed by checking stat() information.
-git update-index --really-refresh > /dev/null
+git update-index --refresh > /dev/null
 # Checks to see if there are any differences from the index to the current HEAD commit
 git diff-index --quiet HEAD