pr create: notice a merged or closed pull on the same branch #1348

pr create on a branch whose pull already merged would open a new pull. The merge rebased the commits, so their ids differ, and the duplicate check only looks at open pulls. When the branch's most recent pull is merged or closed, say so and name it before creating another, with --new to proceed.