As noted by others, this is irrelevant unless Redis actually uses AGPL as the primary license for the software (that is, in an inbound=outbound fashion). https://sfconservancy.org/blog/2014/jun/09/do-not-need-cla/