Actualizamos configuración de git push.

Parece que las últimas versiones de git usan "simple" en vez de
"current".

O eso, o es que hay que dejar un espacio antes del signo de "=" para
definir un valor.