That's easy to say, but if the deployment server is down you might not be able to do it easily, and if you try to do it manually you need credentials which were

That's easy to say, but if the deployment server is down you might not be able to do it easily, and if you try to do it manually you need credentials which were stored on in a text file on another server that's down... etc.