Plugin deploy script used for Deploying WooCommerce amongst other things. - View it on GitHub