Type-check Python projects quickly with ty.
Recent revisions are kept. Restoring one creates a new revision.