gitconfig: psh is for quiet push