Cloning this repository:

git clone git://gitorious.org/mining-tools/git_mining_tools.git git_mining_tools
cd git_mining_tools

Add this repository as a remote to an existing local repository:

git remote add git_mining_tools git://gitorious.org/mining-tools/git_mining_tools.git
git fetch git_mining_tools
git checkout -b my-local-tracking-branch git_mining_tools/master_or_other_branch