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