pub async fn cmd_push(
cli: &Cli,
remote: Option<String>,
thread: Option<String>,
state: Option<String>,
force: bool,
all_threads: bool,
mirror: Option<String>,
) -> Result<()>Expand description
Execute push command.
mirror is an ad-hoc dual-push escape hatch (heddle#25): after the
primary push to the Heddle/git-overlay remote succeeds, also push to
the named git-bridge remote. Best-effort — mirror failure surfaces
as a warning and does NOT abort the primary push.