404 error when visiting a successfully archived repository

The save request 30.7.2021, 07:40:21 git https://github.com/isabelle-utp/interaction-trees is displayed as successfully processed in the list https://archive.softwareheritage.org/save/#requests, but clicking on the resp. link in this list results in a 404 error page.

Searching for https://github.com/isabelle-utp/interaction-trees in the global search produces an empty search result (Actually, a result can be seen very briefly, but then it disappears again immediately.)

---

Migrated from T3450 (view on Phabricator)