tutte le domande che ho trovato vogliono evitare i timeout in git push/pull. Nel mio caso voglio forzarli. I miei push + pull passano tutti da ssh a macchine remote che potrebbero non essere disponibili ad un certo punto nel tempo. Ad esempio, ho uno script che spinge a due repository pubblici remoti. Non voglio che questo script si blocchi per sempre quando si spinge al primo repository e quella macchina non è disponibile. Invece, dopo un certo timeout voglio che il push fallisca e continui con il secondo repo.Forzare un timeout in git push + pull
Qualsiasi opzione qui?