I think forking is reasonable in this case. It’s one thing to change the GitHub org for a project because you aquihired the team, but it is another thing entirely to change the name of the project to match your company name, implying that the project is simply one of your products. The latter clearly gives off “Redis Labs” vibes. ‘Fool me once…’ is a justified reaction.