diff options
| author | Alexey Kardashevskiy <aik@ozlabs.ru> | 2019-11-12 14:45:32 +1100 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-11-19 10:00:36 +0100 |
| commit | b73f059cf2dce327f4f5936a1e6d4d7b898c6a71 (patch) | |
| tree | 4f67401294a5e4371e9af1cc78114bf307b6a1b3 /.gitpublish | |
| parent | 369e8f5bbd8a5301bde6fae22b93fe9288c552a5 (diff) | |
| download | qemu-b73f059cf2dce327f4f5936a1e6d4d7b898c6a71.zip qemu-b73f059cf2dce327f4f5936a1e6d4d7b898c6a71.tar.gz qemu-b73f059cf2dce327f4f5936a1e6d4d7b898c6a71.tar.bz2 | |
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>
Diffstat (limited to '.gitpublish')
0 files changed, 0 insertions, 0 deletions