From 2f35ff6304bbee4dfa6ceed8fc4dc8223ff10763 Mon Sep 17 00:00:00 2001 From: "Lance R. Vick" Date: Wed, 25 Jan 2023 18:08:17 -0800 Subject: [PATCH] handle symlink/file .git dirs --- sig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sig b/sig index ffec0c7..36eaecb 100755 --- a/sig +++ b/sig @@ -351,7 +351,7 @@ verify(){ local -r group="${2}" local -r ref=${3:-HEAD} local sig_count=0 seen_fps fp commit_sig tag_sigs note_sigs - [ -d .git ] \ + [ -d .git ] || [ -L .git ] || [ -f .git ] \ || die "Error: This folder is not a git repository" if [[ $(git diff --stat) != '' ]]; then die "Error: git tree is dirty"