{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":".unwrap();"}]}
                .unwrap();
            writeln!(s, "* pr:{pr_num}[] {}", pr_info.message.as_deref().unwrap_or(&pr_title))
        }