Recently I came upon the crates.io-index repo on github, and I wonder why is this necessary? Does cargo pull the crate index from github every time I run
And if it is, why github? If I understood correctly, every time a crate is published, a tarball is pushed to crates.io, which means that all the code is stored on crates.io, rather than, e.g. linking to github.
Hence, why have the index stored on github? Or is it for some other purpose, like having redundancy?