code: def push_current(self, project):
          
          if __debug__:
              from .targets import ProjectTarget
              assert isinstance(project, ProjectTarget)
          self.saved_current_project.append(self.current_project)
          self.current_project = project
docs: Temporary changes the current project to 'project'. Should
          be followed by 'pop-current'.