"RECOMMENDED" auto-crev-proofs repo has been dead for three years

[parasyte]

According to the wiki, auto-crev-proofs is the "RECOMMENDED quick way to discover a lot of other users" (quoted verbatim): https://github.com/crev-dev/cargo-crev/wiki/List-of-Proof-Repositories#list-of-repositories

That repo appears to be unmaintained and its CI pipeline has been failing for more than three years.

[Velocifyer]

The wiki no longer recommends it

[lolbinarycat]

It still mentions it:

You can also quickly discover and list other users with:

cargo crev repo fetch url https://gitlab.com/crev-dev/auto-crev-proofs
cargo crev repo fetch all
cargo crev id query all