-
Type:
Suggestion
-
Resolution: Unresolved
-
None
-
Component/s: Pull Requests
-
None
-
5
-
1
For a number of use cases at some customers it's important to retain `refs/pull-requests/*/from` when a pull request is merged.
Currently it seems that, at least in some cases, the `from` ref is deleted when the pull request is merged.