У меня есть script запуск git clone/pull автоматически (это происходит на самом деле внутри jenkins CI, но мой вопрос более общий). Удаленный сервер git основан на HTTPS. Аппарат с клиентом git имеет слабое подключение к Интернету DSL, поэтому он иногда восстанавливает и изменяет IP-адрес, теряя все существующие соединения. Когда соединение терпит неудачу, пока клиент git работает, клиент никогда не преуспевает, но он не прерывается с тайм-аутом, поэтому мой script зависает.
Я хотел бы настроить клиента так, чтобы он перестал работать через некоторый период (поэтому script может повторить попытку, или зарегистрировать сбой, или предпринять любые другие действия). Но я не нашел никакой опции тайм-аута в man-странице git -config. Я нашел связанный вопрос, но это только для соединений SSH. Вы знаете, есть ли альтернатива для http-серверов?