[feature] git mirror request

Submitted by Gonzalo BG

Assigned to Nobody

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.

Edited Dec 05, 2019 by Eigen Bugzilla