I was interested in the fonts that were used across Mozilla’s websites, which I found were listed here https://protocol.mozilla.org/fundamentals/typography.html, and was interested in the Metropolis font. However it seems the Github repo for the font, of which is linked to on that page, is now gone (https://github.com/chrismsimpson/Metropolis).
Anyone know what happened to the font/repo? Has it moved? Is it available anywhere else?