Fix issue with SSH key not being available during push