Bug/ssh timeout

Fixes the ssh timeout for the git push