post_release(): Issue with merging open pull request

[pat-s]

During a recent submission of {mlr3filters} the PR was not merged somehow and is still open as a DRAFT: mlr-org/mlr3filters#137

The branch was merged into main and pushed accordingly but it seems the "official" merge on GitHub and cleanup itself failed?

Haven't looked into the code yet but maybe an issue with the {usethis} helper (or possible API call) for merging PRs?

[ins] r$> fledge::post_release()
✔ Setting active project to '/Users/pjs/git/mlr-org/mlr3filters'
→ Checking scope of `GITHUB_PAT` environment variable.
→ Creating GitHub release.
→ Opening release URL <https://github.com/mlr-org/mlr3filters/releases/tag/untagged-d93da5ba54f11c8f934e>.
VSCode WebView only supports showing local http content.
Opening in external browser...
Browsing https://github.com/mlr-org/mlr3filters/releases/tag/untagged-d93da5ba54f11c8f934e
→ Opening release edit URL <https://github.com/mlr-org/mlr3filters/releases/edit/untagged-d93da5ba54f11c8f934e>.
VSCode WebView only supports showing local http content.
Opening in external browser...
Browsing https://github.com/mlr-org/mlr3filters/releases/edit/untagged-d93da5ba54f11c8f934e
→ Switching to branch main.
→ Merging release branch.
ℹ If this fails, resolve the conflict manually and push.
Already up to date, nothing to merge
→ Pushing main.
Trying to authenticate 'git' using ssh-agent...
[status] refs/heads/main: unchanged
[updated] 143fe1ad73..143fe1ad73 refs/remotes/origin/main

[krlmlr]

Just seen this too. With me, this has happened when the main branch was updated externally, and not fetched or pulled locally.

We don't want to pull, but we want to fetch and, e.g., merge with origin/main .