Then, retry the deployment on DeployBot, and everything should be OK.
If after doing this, we receive the very same error, you can contact us at support@deploybot.com 🙂