Repository gone after project rename

Last night I renamed a personal project via the project settings page. After the rename the repository of the project was gone. The name before the rename was jacobvosmaer/acme-trailing-whitespace; after the rename it became jacobvosmaer/acmerb.

I still had a local copy of the repository so I pushed that and now the project works again. However, although there was no major harm done, I think this is a case of catastrophic data loss.

---

Update: it sounds like the repository still exists on disk but it's not accessible through the UI. That is better than full data loss, but for a user it doesn't matter. They can't get to their repository, so it's still data loss.