scripts: Detect git worktrees for get_maintainer.pl --git
authorAlexey Kardashevskiy <aik@ozlabs.ru>
Tue, 12 Nov 2019 03:45:32 +0000 (14:45 +1100)
committerPaolo Bonzini <pbonzini@redhat.com>
Tue, 19 Nov 2019 09:00:36 +0000 (10:00 +0100)
commitb73f059cf2dce327f4f5936a1e6d4d7b898c6a71
tree4f67401294a5e4371e9af1cc78114bf307b6a1b3
parent369e8f5bbd8a5301bde6fae22b93fe9288c552a5
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 <aik@ozlabs.ru>
Reviewed-by: Greg Kurz <groug@kaod.org>
Reviewed-by: Stefano Garzarella <sgarzare@redhat.com>
Tested-by: Stefano Garzarella <sgarzare@redhat.com>
Message-Id: <20191112034532.69079-1-aik@ozlabs.ru>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
scripts/get_maintainer.pl