()
| 42 | } |
| 43 | |
| 44 | async function cleanup() { |
| 45 | try { |
| 46 | await $`git merge --abort` |
| 47 | } catch {} |
| 48 | try { |
| 49 | await $`git checkout -- .` |
| 50 | } catch {} |
| 51 | try { |
| 52 | await $`git clean -fd` |
| 53 | } catch {} |
| 54 | } |
| 55 | |
| 56 | function lines(prs: PR[]) { |
| 57 | return prs.map((x) => `- #${x.number}: ${x.title}`).join("\n") || "(none)" |