Is this still an active request? Copying over Digger over as submodule or even by source shouldn't be too difficult?
Comment #2 by pro.mathias.lang — 2020-04-09T10:58:58Z
I would say no. We have so many links to it nowadays that it doesn't make sense, even if Github redirect things.
I don't think it's fair to the author and sole contributor either, who has never been a bottleneck.