This is a backup of the Skip repository before the history was rewritten to move bootstrap files to the Skiplang-bootstrap repository.
The commit before this one corresponds to c37efc573dabce345ea2b76c719b540ec60e13c8 in the new history.
See SkipLabs/skip#826 for details on the rewrite.
This repository is now frozen.