Our server was wiped by accident. I had an old backup, from several months ago. I restored by copying the directories.
The web page for a repo shows a few pull requests (the little superscript number), probably old. When you click on that icon tho, you get an error 500 page.
