8b3632435e
When visiting a pull request files which head repository has been deleted, it will panic because headrepo is nil.