Rename repo to rp-pio?

[thejpster]

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).

[jannic]

From the number of people who gave a thumbs-up above, I think we have agreement that the repo should be renamed.

Who has the necessary permissions?

[thejpster]

I think anyone can send a PR to change the name in the Cargo.toml file, and then anyone can publish under the new name.

[jannic]

I think the repo should be renamed first, Cargo.toml can be updated later. Even if we forget to update the link in Cargo.toml, it wouldn't really hurt, as GitHub AFAIK automatically adds a redirect for renamed repos.