Learn more about these different git repos.
Other Git URLs
Steps to reproduce: 1. fork any repo 2. start any pull request and get it merged 3. delete your own pull 4. from the user menu, click "My Pull Requests" (URL: https://hostname/user/[username]/requests) 5. click "All"
What happens: Any pull requests from deleted repos are gone after the fork repo is being deleted.
What should happen (Expected behavior): Keep all pull requests unless the base repo is being deleted.
Affected version: The 3.10.1 installation on src.fedoraproject.org as of today.
This seems to be a duplicate of https://pagure.io/pagure/issue/2492 but should be solved.
Metadata Update from @pingou: - Issue tagged with: bug
Metadata Update from @pingou: - Issue assigned to pingou
Commit ffd53ab fixes this issue
Login to comment on this ticket.