howto-automated_deployment / push_and_trigger