Deployment: reduced github push to single push