Method batch_push

src/benchmark/leetcode.py:471–546

批量 git add, commit, push 多个文件，支持重试 Args: filenames: 要提交的文件名列表 max_retries: 最大重试次数（默认 3 次） sync_codespace: 是否在 push 后同步 Codespace（默认 True） 如果为 False，需要调用者稍后在持有 submit_lock 时调用 sync Returns:

(self, filenames: List[str], max_retries: int = 3, sync_codespace: bool = True)

        return written_files
    
    async def batch_push(self, filenames: List[str], max_retries: int = 3, sync_codespace: bool = True) -> bool:
        """
        批量 git add, commit, push 多个文件，支持重试
        
        Args:
            filenames: 要提交的文件名列表
            max_retries: 最大重试次数（默认 3 次）
            sync_codespace: 是否在 push 后同步 Codespace（默认 True）
                           如果为 False，需要调用者稍后在持有 submit_lock 时调用 sync
        
        Returns:
            是否成功 push
        """
        if not filenames:
            return True
            
        logger.info(f"| 📦 Batch pushing {len(filenames)} files...")
        
        # 先完成 git add 和 commit（这部分不需要重试）
        try:
            # Configure git user
            await self._run_git_command(['config', 'user.name', self.username], self.repo_path)
            await self._run_git_command(['config', 'user.email', f'{self.username}@users.noreply.github.com'], self.repo_path)
            
            # Git add all files
            for filename in filenames:
                await self._run_git_command(['add', filename], self.repo_path)
            
            # Check if there are changes to commit
            status_out = await self._run_git_command(['status', '--porcelain'], self.repo_path)
            
            if status_out.strip():
                # Git commit with batch message
                commit_msg = f'Batch add {len(filenames)} solutions: {", ".join(f[:20] for f in filenames[:3])}...'
                await self._run_git_command(['commit', '-m', commit_msg], self.repo_path)
            else:
                logger.info("| 🔍 No changes to commit (files unchanged)")
                return True
                
        except Exception as e:
            logger.error(f"| ❌ Git add/commit failed: {e}")
            return False
        
        # Git push 部分支持重试
        for attempt in range(1, max_retries + 1):
            try:
                logger.info(f"| 🔄 Push attempt {attempt}/{max_retries}...")
                await self._run_git_command(['push'], self.repo_path)
                logger.info(f"| ✅ Successfully batch pushed {len(filenames)} files to GitHub")
                
                # Wait for GitHub to sync
                await asyncio.sleep(3)
                
                # Pull in Codespace (only if sync_codespace=True and we have submit_lock)
                # Note: _sync_codespace_repo() operates the browser, so it must be called
                # when the caller holds submit_lock to avoid conflicts with browser operations
                if sync_codespace:
                    await self._sync_codespace_repo()