some gitconfig changes, probably from Github.app