Git mirror of upstream Mercurial based Eigen repository. The repositories are synced nightly.