diff options
| -rwxr-xr-x | bin/git-is-clean | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/git-is-clean b/bin/git-is-clean index 60bbe008..d6619d8f 100755 --- a/bin/git-is-clean +++ b/bin/git-is-clean @@ -7,6 +7,9 @@ # also calling `git --no-pager log --branches --not --remotes # --simplify-by-decoration --decorate --oneline`) +# The git-diff-files(1) call fails in v7 git-annex repos with unlocked +# empty files. So can't use this script in such repos. + set -e # we need to do something different in a direct mode annex |