Migrating from https://github.com/catchorg/Catch2.git ...
Migrating from https://github.com/catchorg/Catch2.git failed.
Delete This Repository
- This operation CANNOT be undone.
- This operation will permanently delete the Mirror/Catch2 repository including code, issues, comments, wiki data and collaborator settings.
