[devtools fix] Fix git config (#2608)