git config default push action option too new for many git clients