mathlibtools/lib.py
def clean_mathlib_dep(self) -> None:
        """Restore git sanity in a mathlib dependency"""
        assert not self.is_mathlib
        if self.mathlib_folder.exists():
            mathlib = self.mathlib_repo
            mathlib.head.reset(working_tree=True)
            mathlib.git.clean('-fd')
        else:
            self.run_echo(['leanpkg', 'configure'])
Restore git sanity in a mathlib dependency
Restore git sanity in a mathlib dependency
Restore git sanity in a mathlib dependency
def clean_mathlib_dep(self) -> None:
        assert not self.is_mathlib
        if self.mathlib_folder.exists():
            mathlib = self.mathlib_repo
            mathlib.head.reset(working_tree=True)
            mathlib.git.clean('-fd')
        else:
            self.run_echo(['leanpkg', 'configure'])
def clean_mathlib_dep ( self ) -> None : assert not self . is_mathlib if self . mathlib_folder . exists ( ) : mathlib = self . mathlib_repo mathlib . head . reset ( working_tree = True ) mathlib . git . clean ( '-fd' ) else : self . run_echo ( [ 'leanpkg' , 'configure' ] )
Restore git sanity in a mathlib dependency
Restore git sanity in a mathlib dependency
"""Restore git sanity in a mathlib dependency"""
self