This archive contains a complete git repository, checked out from 55b1551bd on 28 May 2025. You can use it in lieu of a git clone git.lyx.org.

To restore the files from the master branch, do:
# git checkout .
You can also just checkout a different branch.