A redis based data structure that maps users and collaborators onto project names