I like to delete the PR branch after closing a PR, it would be nice if that was possible through the extension 