math-comp isn't on Renown yet

No one tracking a repo under math-comp/ with renown has a verified contribution yet. Be the first.