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