• Gitea version (or commit ref): 1.10.0
• Git version: n/a
• Operating system: Docker
• Database (use [x]):
  • PostgreSQL
  • MySQL
  • MSSQL
  • SQLite
• Can you reproduce the bug at https://try.gitea.io:
  • Yes: https://try.gitea.io/themightychris/test/pulls/2
  • No
  • Not relevant

Description

When the branch behind a closed pull request gets deleted, all information about the branch appears to be lost (whether the branch is deleted through Git or through the provided button in the pull request)

Observed behavior: The pull request does not retain the name of the branch, the pushed commits, or the diffs and does not offer a restore branch button

Expected behavior: A closed PR will permanently store a ref to the tip of the deleted branch, enabling its commit list and files changed views to continue working, contextual comments to continue to be read, and the branch to be restorable from the commit preserved by the PR.

Screenshots