Redis — co to za system, do czego jest używany w projekcie?