diff options
| author | notgne2 | 2020-11-22 21:56:43 -0700 |
|---|---|---|
| committer | notgne2 | 2020-11-22 21:56:43 -0700 |
| commit | 551dd1c3042743c373bf10cb8d14fac52bf26351 (patch) | |
| tree | e8081150f443ae5be6063b6cb66867531763dae9 /src/utils/push.rs | |
| parent | 819eca679ee4038b8b9fc1fbb2e662bcbe9f2d44 (diff) | |
Remove ref/cows from DeployDefs, add interactive flag (resolves #4)
Diffstat (limited to 'src/utils/push.rs')
| -rw-r--r-- | src/utils/push.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/utils/push.rs b/src/utils/push.rs index 2ea259a..18b97b5 100644 --- a/src/utils/push.rs +++ b/src/utils/push.rs @@ -30,7 +30,7 @@ pub async fn push_profile( check_sigs: bool, repo: &str, deploy_data: &super::DeployData<'_>, - deploy_defs: &super::DeployDefs<'_>, + deploy_defs: &super::DeployDefs, keep_result: bool, result_path: Option<&str>, extra_build_args: &[String], |