So pulling in "rend3" from "crates.io" makes all those names visible. Fine.
But there's a bug in that which is fixed on Github but not yet on crates.io, and I thus need to use the version from Github. So, in my Cargo.toml file that uses rend3, I overrode crates.io with
You will have to use [patch.crates-io] for each member of the repo. In addition you need to specify rend3-routine as dependency in [dependencies] too to be able to use it in your crate. Also I don't know of it is a mistake when copying to your post, but [patch.crates.io] should be [patch.crates-io]. (crates-io with a - instead of a .)
You will have to use [patch.crates-io] for each member of the repo.
Turns out that won't work. The new repo has a different list of members than the one in crates.io, and you can't patch a member that isn't in the old one. So, renaming members breaks the patch system.
So I just did it the hard way, commenting out the crates.io references and putting in ones to github. No use of patch at all.