Timeout for git push operation
viditganpi opened this issue · comments
Currently in git push operation, there is no timeout included. This sometimes causes git push commands to be stuck for long in case the git servers pose an issue and git push did not succeed.
To avoid this a timeout should be included in the push verb, so that operation can be timed out and retried.