Gitlab releases not downloadable by build-systems

Hi! I wanted to make it known that it is currently not entirely trivial to include an Eigen release as a dependency in build systems like Bazel. The solution, commonly suggested on the web, is to add http_archive() target with a .tar.gz url (one can find many rules referring to https://github.com/eigenteam/eigen-git-mirror repo). This fails as Gitlab restricts the set of possible user-agents and not all build systems provide options to substitute one (e.g. Bazel doesn't, afaik). The eigen-git-mirror repo on GH seems to be abandoned since migration of Eigen to Gitlab. Although this clearly is none of Eigen's fault, this situation seems to produce confusion in community and impacts the UX that Eigen provides.

I suggest that Eigen explicitly describes a way to obtain Eigen releases, compatible with automated build systems. In particular, one could resurrect the github repo (eigen-git-mirror) and use it to publish artifacts during releases

Thanks!