crates.io

[oli-obk]

Ping @bgeron

Are you willing to give up the miri crate on crates.io? We're thinking about publishing the miri binary and cargo-miri via crates.io to allow ppl to easily check deterministic code for the cases of UB that we can detect

[bgeron]

Absolutely! I presume you want the cargo-miri package as well. What's your username on crates.io? Or on the internals forum for direct messaging?

[bgeron]

Apparently cargo-miri has already been downloaded 99 times so you're getting a winner! ;)

[oli-obk]

:D cool, thanks

crates.io usernames and github usernames are the same. So "oli-obk"

[bgeron]

Two invites sent! Please remove me when you accept ownership :)

[oli-obk]

Thanks! And done

[RalfJung]

Thanks @bgeron :)

Can the same package have two names...?

[bgeron]

I don't think so. I registered two distinct packages. (But one package can contain multiple crates I believe, or at least multiple binaries.)