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.