client/push: Disallow paths on the command line with --stdin

zhaofengli · Oct 6, 2024 · c54c26d · c54c26d
1 parent 014fb92
commit c54c26d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/client/src/command/push.rs b/client/src/command/push.rs
@@ -182,6 +182,12 @@ pub async fn run(opts: Opts) -> Result<()> {
     };
 
     if sub.stdin {
+        if !sub.paths.is_empty() {
+            return Err(anyhow!(
+                "No paths can be specified on the command line with --stdin"
+            ));
+        }
+
         push_ctx.push_stdin().await?;
     } else {
         push_ctx.push_static(sub.paths.clone()).await?;