some useful tools for mining git repositories.