todas las preguntas que encontré quieren evitar tiempos de espera en git push/pull. En mi caso, quiero forzarlos. Mis push + pulls están pasando por ssh a máquinas remotas que podrían no estar disponibles en algún momento. Por ejemplo, tengo un script que empuja a dos repos públicos remotos. No quiero que este script se cuelgue para siempre cuando empuja al primer repositorio y esa máquina no está disponible. En cambio, después de un tiempo de espera, quiero que el empuje falle y continuar con el segundo repositorio.Forzando un tiempo de espera en git push + pull
¿Alguna de estas opciones aquí?