Fix bug 1494: raise exception if repo-index fails