2 commits

Author	SHA1	Message	Date
Zhikang Zhang	d7921b4d5b	Support --separate-git-dir option in Git module (#41712) ... Make git module support --separate-git-dir option. When git version is higher than 1.7.5, use built-in --separate-git-dir option during the clone. When lower, adjust the location of git dir manually after clone to achieve the same effect.	2018-08-17 10:43:04 -04:00
Senya	0a701ff746	Detect separate git dir and set git config path value appropriately ... PR #38016 Co-authored-by: Sviatoslav Sydorenko <wk.cvs.github@sydorenko.org.ua>	2018-05-23 00:33:22 +02:00