pub fn execute_push( jj: &JjCli, push_args: &[String], dry_run: bool, ) -> Result<()>
Run the actual jj git push after hooks succeeded.
jj git push