Merge topic 'ExternalProject-git-dir'

e07039cd26 ExternalProject: Explicitly run Git commands on intended directory

Acked-by: Kitware Robot <kwrobot@kitware.com>
Acked-by: buildbot <buildbot@kitware.com>
Merge-request: !7731