mathlibtools/lib.py
def rebase(self, force: bool = False) -> None:
        """
        On mathlib, update master, get oleans and rebase current branch.
        This will check for a clean working copy unless force is True.
        """
        if self.is_dirty and not force:
            raise LeanDirtyRepo('Cannot rebase because repository is dirty')
        if not self.is_mathlib:
            raise LeanProjectError('This operation is for mathlib only.')
        if not self.repo:
            raise LeanProjectError('This project has no git repository.')
        branch = self.repo.active_branch
        if branch.name == 'master':
            raise LeanProjectError('This does not make sense now '
                                   'since you are on master.')
        log.info('Checking out master...')
        self.repo.git.checkout('master')
        self.upgrade_mathlib()
        log.info(f'Checking out {branch}...')
        self.repo.git.checkout(branch)
        log.info('Rebasing...')
        self.repo.git.rebase('master')
        log.info('Done')

        On mathlib, update master, get oleans and rebase current branch.
        This will check for a clean working copy unless force is True.
        
On mathlib, update master, get oleans and rebase current branch.
This will check for a clean working copy unless force is True.
On mathlib update master get oleans and rebase current branch . This will check for a clean working copy unless force is True .
def rebase(self, force: bool = False) -> None:
        if self.is_dirty and not force:
            raise LeanDirtyRepo('Cannot rebase because repository is dirty')
        if not self.is_mathlib:
            raise LeanProjectError('This operation is for mathlib only.')
        if not self.repo:
            raise LeanProjectError('This project has no git repository.')
        branch = self.repo.active_branch
        if branch.name == 'master':
            raise LeanProjectError('This does not make sense now '
                                   'since you are on master.')
        log.info('Checking out master...')
        self.repo.git.checkout('master')
        self.upgrade_mathlib()
        log.info(f'Checking out {branch}...')
        self.repo.git.checkout(branch)
        log.info('Rebasing...')
        self.repo.git.rebase('master')
        log.info('Done')
def rebase ( self , force : bool = False ) -> None : if self . is_dirty and not force : raise LeanDirtyRepo ( 'Cannot rebase because repository is dirty' ) if not self . is_mathlib : raise LeanProjectError ( 'This operation is for mathlib only.' ) if not self . repo : raise LeanProjectError ( 'This project has no git repository.' ) branch = self . repo . active_branch if branch . name == 'master' : raise LeanProjectError ( 'This does not make sense now ' 'since you are on master.' ) log . info ( 'Checking out master...' ) self . repo . git . checkout ( 'master' ) self . upgrade_mathlib ( ) log . info ( f'Checking out {branch}...' ) self . repo . git . checkout ( branch ) log . info ( 'Rebasing...' ) self . repo . git . rebase ( 'master' ) log . info ( 'Done' )
On mathlib, update master, get oleans and rebase current branch.
On mathlib update master get oleans and rebase current branch .
"""
        On mathlib, update master, get oleans and rebase current branch.
        This will check for a clean working copy unless force is True.
        """
self
force
bool