Scripts for handling the Open MPI SVN-to-git-and-Github conversion. - View it on GitHub