Some git config properties, for safekeeping