[feature] git mirror request
Submitted by Gonzalo BG
Assigned to Nobody
Link to original bugzilla bug (#1452)
Description
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 by Eigen Bugzilla