Function lines

script/beta.ts:56–58

(prs: PR[])

}

function lines(prs: PR[]) {
  return prs.map((x) => `- #${x.number}: ${x.title}`).join("\n") || "(none)"
}

function group(title: string) {
  if (process.env.GITHUB_ACTIONS !== "true") {