After merging and deleting a branch, repo forgot all event data
Created by: madssj
Having just merged a branch into master, and after that deleted the branch on remote using git push origin :to-be-deleted the repository overview has forgot all info from git. There are no code, tags or log messages, so it appears that the repo is trying to access a bad revision.
Some events still exists in the database, which show information about what happened. When trying to go to the project, you're redirected to the frontpage.
It seems to me, that the repository has gone out of sync with the database and that a re-sync would fix the problem.
I cannot reproduce the problem on a new project with the same repository.
Edit: This is on 5.2.