gitcfg: use int_types in python_to_git()