-
-
Notifications
You must be signed in to change notification settings - Fork 5.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Feature] Expose name of deleted PR branches #10347
Comments
Because that branch maybe from another repository which deleted. |
We should probably display branch name even if it is deleted just without link and marked as deleted |
@lafriks That's the kind of behavior I'd expect - even when the branch or repository got deleted, the PR should still expose the original branch name through UI and API. This also follows the implementation of all other major Git platforms including GitHub and is useful for stateless bots which can determine if a PR has been previously opened by checking for a predictable branch name. |
[x]
):Description
When the head branch of a pull request in either state gets deleted, the pull request no longer exposes the original branch name. This is directly related to #9158, which requested tracking the ref to the tip of the deleted branch and a working commit/changes view.
I would like to suggest to also expose the name of the branch which got deleted through both UI and API instead of just showing
from deleted into <target branch>
. The name of the branch can usually be accessed ashead.ref
in the API, however the wholehead
property isnull
as soon as the branch got deleted.Screenshots
PR with correct branch name before branch deletion
PR with missing branch name after branch deletion
The text was updated successfully, but these errors were encountered: