Internal Server Error when I try to open deleted repo

Issue #1912 resolved