Fatal: repository 'https://gitlab.com/libeigen/eigen.git/' not found - Temporary fix

I just had an issue with bazel builds failing, since the official libeigen repo is experiencing issues right now:

fatal: repository 'https://gitlab.com/libeigen/eigen.git/' not found
WARNING: errors encountered while analyzing target '//apps/tutorials/ping:ping': it will not be built
INFO: Analyzed target //apps/tutorials/ping:ping (73 packages loaded, 4672 targets configured).
INFO: Found 0 targets...
ERROR: command succeeded, but there were loading phase errors
INFO: Elapsed time: 263.694s, Critical Path: 0.02s
INFO: 0 processes.
FAILED: Build did NOT complete successfully

As a temporary fix, edit /isaac/engine/third_party/engine.bzl to use gitlab.com/cantonios/eigen instead:

...
remote = "https://gitlab.com/cantonios/eigen.git",
...

Then try building again.

Thanks posting the workaround! The original libeigen repository seems to be available now at least.