Have you used any git repo statistics tool, paid or free?<p>Wanted to look at repo level stats as well as per author statistics.<p>Also, have they helped gain any insights on your teams productivity? This is definitely just quantitive and not qualitative, but still curious if others have used it for any analysis.