update the pr title and body again (just without the UI junk)

[slinder1]

Change-Id: Ia5aa7f68f26c463c4bf7ac4c7023494018583183

[slinder1]

🛠️ Initial changes (click to expand):

diff --git b/src/gh.rs a/src/gh.rs
@@ -354,6 +354,21 @@ impl Pr {
         Ok(())
     }
 
+    pub fn set_details(&mut self, title: &str, body: &str) -> Result<()> {
+        let mut body_arg = ArgInlineOrFile::new("body");
+        let mut cmd = gh();
+        let args = self.args_for("edit", [format!("--title={title}"), body_arg.arg(body)?])?;
+        cmd.args(args);
+        if env::get().dry_run() {
+            eprintln!("would-exec: {:?}", cmd);
+        } else {
+            exec!(env::get(), cmd);
+        }
+        self.title = title.to_owned();
+        self.body = body.to_owned();
+        Ok(())
+    }
+
     pub fn add_details_comment(&self, diff: &Diff) -> Result<()> {
         let (summary, changes) = match diff {
             Diff::InitialDiff(text) => ("Initial changes", text),
diff --git b/src/praddle.rs a/src/praddle.rs
@@ -175,6 +175,22 @@ fn push(args: &cli::Push) -> Result<()> {
     gh::reconcile_stack(&changes.iter().map(|change| &change.pr).collect::<Vec<_>>())
         .context("could not reconcile pr stack")?;
     changes
+        .par_iter_mut()
+        .map(|c| {
+            let commit = c.local_change.commit()?;
+            let title = commit
+                .summary()
+                .context("failed to get commit summary")?
+                .context("commit has no summary")?;
+            let body = commit
+                .body()
+                .context("failed to get commit body")?
+                .context("commit has no body")?;
+            c.pr.set_details(title, body)
+        })
+        .collect::<Result<Vec<_>>>()
+        .context("could not update pr titles and bodies")?;
+    changes
         .par_iter()
         .zip(diffs)
         .map(|(c, diff)| c.pr.add_details_comment(&diff))