PR Merge and Branch Cleanup Automation

Problem/Feature Description

A platform team manages a monorepo where several developers merge PRs throughout the day. After a merge, developers frequently forget to sync their local main branch, leave stale local branches around, and walk away without confirming the release actually published. This leads to subtle issues: developers push new work on top of outdated local main, accidentally re-create deleted branches, and only notice the release never went out hours later when a downstream consumer reports it missing.

The team wants a merge-and-cleanup.sh bash script that a developer can run once a PR is ready to land. The script should handle the merge itself, clean up the local and remote state, and confirm the release actually published — giving the developer a clear final status rather than leaving them to check manually.

Output Specification

Produce a merge-and-cleanup.sh bash script that:

• Accepts the PR number, repository owner, and repository name as inputs (arguments or environment variables)
• Checks that the PR is ready to merge before proceeding
• Merges the PR
• Brings the local main branch up to date
• Removes the local feature branch
• Cleans up stale remote-tracking references
• Verifies the merge landed on main
• Confirms the release was actually published successfully before exiting
• Prints a final summary including the merged PR URL

The script does not need to run successfully (no GitHub credentials available) — focus on correctness of the approach and commands used.