handle symlink/file .git dirs
This commit is contained in:
parent
782fbb3cd8
commit
2f35ff6304
2
sig
2
sig
|
@ -351,7 +351,7 @@ verify(){
|
||||||
local -r group="${2}"
|
local -r group="${2}"
|
||||||
local -r ref=${3:-HEAD}
|
local -r ref=${3:-HEAD}
|
||||||
local sig_count=0 seen_fps fp commit_sig tag_sigs note_sigs
|
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"
|
|| die "Error: This folder is not a git repository"
|
||||||
if [[ $(git diff --stat) != '' ]]; then
|
if [[ $(git diff --stat) != '' ]]; then
|
||||||
die "Error: git tree is dirty"
|
die "Error: git tree is dirty"
|
||||||
|
|
Loading…
Reference in New Issue