“This achieved our goal—AWS and Google now maintain their own fork—but the change hurt our relationship with the Redis community.”