It would be helpful to have an option to delete codespaces associated with the merged-from branch, included in the pull request review / merge UI. It could be handled much like the branch delete option is now.
Hey Mike! Thanks for this feedback, we’ll definitely keep this in mind moving forward. Let us know if there is anything else you feel is missing from your experience!