Issue Summary

Currently, when creating a pull request, users have the option to select "delete branch after the pull request is merged." However, once the PR is created, this option can't be edited. Users are unable to change this setting if they later decide to delete or retain the branch post-merge.

Steps to Reproduce

1. Create a new pull request in the repository.
2. During the creation, observe the option to "delete branch after the pull request is merged."
3. Complete the pull request creation by clicking the "Create" button.
4. Attempt to edit the pull request to change the "delete branch after merge" setting.

Expected Results

Users should be able to edit an existing pull request to activate or deactivate the "delete branch after merge" option, providing flexibility to change their decision after the PR creation.

Actual Results

Once the pull request is created, there is no option available to edit and change the "delete branch after merge" setting. Users are locked into their initial choice made during the creation of the PR.

Workaround

As a workaround, users can select the "Close source branch" option when they merge the PR. Alternatively, users can ensure to set the "Delete <source branch> after the pull request is merged" option correctly at the time of PR creation.