A small CLI PHP script to generate stats for multiple Git repos