Anyone can clone. Pushing asks for a username and a token.
Contains the main paper content (paper.md) for the Benchcompress project.
For compiling and copying to the public directory, see the scripts in devel/