I think they meant to say the maintainers for redis-py, lettuce, and jedis have already relinquished control to Redis Inc. The libraries are still online, but their repositories have been moved to the official Redis organization and are "controlled" and "owned by Redis" according to an email quoted in the linked Github Issue.