No. It took the entire crate and paid nothing.
Most of the companies behind Valkey were writing significant code for Redis. It was certainly not a case of them paying nothing.
Valkey has some of the (formerly) most prolific Redis contributors for the era in which it was forked.
I think there's a massive difference between "paying what was required by the offer" and "paying less than was required by the offer" and only one of them makes you a thief.
Most of the companies behind Valkey were writing significant code for Redis. It was certainly not a case of them paying nothing.
Valkey has some of the (formerly) most prolific Redis contributors for the era in which it was forked.