Revert "remove old git setting"

This reverts commit dc828eb177b93927cdc846ea80a2745a1845a911.