@ruebot makes sense ; I did this git config push.default simple