Comment
In my current workflow, I prefer to automatically delete branches of PRs that I have merged.
Codeberg offers this functionality via the checkbox on this page:
Delete pull request branch after merge by default
As I understand it, this option deletes the branch of a PR when merging and then closes all PRs that were targeting the originally deleted branch.
However, this is not ideal for my workflow, especially when I have multiple dependent PRs that I want to merge one after another.
Using this option forces me to manually deselect the Delete branch checkbox when merging to avoid disrupting my workflow.
I think it would be helpful to have a warning here when the Delete branch option is checked and merging the PR would automatically close other dependent PRs.
### Comment
In my current workflow, I prefer to automatically delete branches of PRs that I have merged.
Codeberg offers this functionality via the checkbox on this page:
- [ ] `Delete pull request branch after merge by default`
As I understand it, this option deletes the branch of a PR when merging and then closes all PRs that were targeting the originally deleted branch.
However, this is not ideal for my workflow, especially when I have multiple dependent PRs that I want to merge one after another.
Using this option forces me to manually deselect the `Delete branch` checkbox when merging to avoid disrupting my workflow.
I think it would be helpful to have a warning here when the `Delete branch` option is checked and merging the PR would automatically close other dependent PRs.