scripts: Detect git worktrees for get_maintainer.pl --git

Recent git versions support worktrees where .git is not a directory but
a file with a path to the .git repository; however the get_maintainer.pl
script only recognises the .git directory, let's fix it.

Signed-off-by: Alexey Kardashevskiy <[email protected]>
Reviewed-by: Greg Kurz <[email protected]>
Reviewed-by: Stefano Garzarella <[email protected]>
Tested-by: Stefano Garzarella <[email protected]>
Message-Id: <20191112034532[email protected]>
Signed-off-by: Paolo Bonzini <[email protected]>

diff --git a/scripts/get_maintainer.pl b/scripts/get_maintainer.pl
index 71415e3c706106958eb0a85cb98e921ba73077a9..27991eb1cfb4c31fa142f5db810c2dc2f96de7d5 100755 (executable)
--- a/scripts/get_maintainer.pl
+++ b/scripts/get_maintainer.pl
@@ -81,7 +81,7 @@ my %VCS_cmds;
 
 my %VCS_cmds_git = (
     "execute_cmd" => \&git_execute_cmd,
-    "available" => '(which("git") ne "") && (-d ".git")',
+    "available" => '(which("git") ne "") && (-e ".git")',
     "find_signers_cmd" =>
        "git log --no-color --follow --since=\$email_git_since " .
            '--format="GitCommit: %H%n' .