GitHub just buried a giant open-source archive in an Arctic vault for 1\,000 years