Important
This repository (https://github.com/skiptools/skipstone.git) used to vend the skip tool,
but it has now been merged into the main https://github.com/skiptools/skip.git
repository under the skipstone/
root.
Therefore, this repository has been archived in order to reduce duplication and confusion.