The tools used to mirror the HG repository from google code to GitHub