Statocles
Statocles copied to clipboard
Add a timeout for git push
Related to #456, if the push takes too long, we should just time out somehow. I have no idea why my git server is doing this...
If we add a timeout, it will need to be configurable.