chore: archive crates-io-infra repository

[MarcoIeni]

I found this old private repo that seems empty. Should we delete this file and archive the repo?

[ehuss]

Would it make sense to move it to the archive directory and have sync-team handle making it archived?

[Kobzol]

In general, we do mostly archive repositories, rather than delete them, yes. sync-team is not even able to delete repositories (this is by design, as it is an irreversible change).

[MarcoIeni]

Archiving the repo was what I wanted to do, I didn't know we had an archive directory 😅
Thanks! 😁

I moved the file to the archive repo 👍

[jackh726]

Per archiving policy, team access here should have been removed.

[MarcoIeni]

Ooops,

fix: #1526

I added a validation rule: #1527 to be merged after the fix PR 👍

[Kobzol]

Remark: this repository is private, so after all access to it was removed, it is now essentially hidden from the world (maybe just the infra-admins see it). Not sure if that's a problem or not, just wanted to let it be known.

[MarcoIeni]

As an infra-admin, I can see it 👍

Not sure if that's a problem or not, just wanted to let it be known.

I don't know either, if it's a problem for someone, we can discuss it 👍

Btw for context, this repo just had a readme with two lines.