Would it be possible to offer an automatic git mirror of the Eigen3 repositories? I am not suggesting that Eigen3 should migrate to git or anything like that, but it would at least make my life easier.
-- GitLab Migration Automatic Message -- This bug has been migrated to gitlab.com's GitLab instance and has been closed from further activity. You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.com/libeigen/eigen/issues/1452.