Git utilities -- repo summary, repl, changelog population, and many more
