Question regarding Git config management