pio-rs
pio-rs copied to clipboard
Rename repo to rp-pio?
I think the -rs
suffix is redundant, given this is the rp-rs
repository. I also think it is useful if the repos consistently have the same name as the crates (ignoring dash/underscore issues).