push again

2 years ago • 0

I'm using smartgit behin a company proxy. This proxy has sometimes connection issues like

Commit: unable to access 'https://github.com/...': Received HTTP code 407 from proxy after CONNECT

Would it be possible to have kind of a 'auto repeat until success' feature für push(pull commands?

Vote