If PR is merged, make "gh pr merge" propose cleanup steps

[sindrekjr]

Currently

If a PR has already been merged through the web interface, running the command gh pr merge on my local branch currently returns the following:

! Pull request #151 (PULL REQUEST NAME) can't be merged right now; try again in a few seconds

This seems to happen whether the origin branch has been deleted or not.

Proposal

I would like gh pr merge to be able to go through the cleanup steps of deleting branches and returning to the default branch even if the target PR has already been merged.

Additional context

I see an issue related to the error message in question has been submitted already at #2544 but I don't think it pertains to this exact scenario.

[mislav]

Thank you for reporting! I've reclassified this as a bug because the error message is definitely misleading.

[sindrekjr]

After trying out the new release I've noticed that the error message I've described was removed in this commit: f853a4b

The new functionality gives the new error message ! Pull request #1 (PR_NAME) was already merged, so as a bug this issue seems to be fixed now.

However, I'd still like to suggest the enhancement that I proposed in my initial post. 😄