repo-level stats/summaries for punch #12

Merged zzstoatzz.io
targeting main from deleted fork:main
Merged opened by and assigned to zzstoatzz.io
targeting main from deleted fork:main

new page on punch: assembling repos by push #, reporting pushes, author #, and gini coefficient

request for review on the changes: the stats that are being generated by the local tests don't seem to be plausible. Not sure if my query approach is off.

Commits 0