Redis Ltd. probably parent of Redis Inc. owns the trademark. It isn't complicated, they can go around and ask people to change the names of their stuff away from Redis.
Is this in bad form? What does the guy have to do to convince you that he has to rename the library? It's tough cookies, but if he renames it, and the Redis Ltd. people fork the library and put the fork on crates.io under the redis name, that's what happens. The way it works just isn't whoever gets the name on crates.io first, irrespective of copyright.
I'd think that if the situation were reversed - Random Guy On GitHub Complains About Distasteful Actor Taking Over His Trademark - you'd root for the guy no?
redis-rs has been around since 2013, so before redis inc. was called anything related to redis (the were called Garantia data) or they hired the redis creator (in 2015) or bought the redis trademark (in 2018).
That might not be legally relevant but it is certainly ethically relevant.
> That might not be legally relevant but it is certainly ethically relevant.
I don't know if it's ethically relevant. I'm sure there was someone named Matt Damon before the actor Matt Damon, and maybe that guy was even an actor, but I wouldn't say today's Matt Damon is ethically violating ancient history's Matt Damon.
What is the right rule for abandonware? It can't be, whoever got there first. Anyway. I don't buy your timeline. Redis-rs comes after the name Redis, certainly, which these guys now own. It doesn't matter when these two events you picked out of a hat occurred.