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