Skip to content

chore: rename the .ai folder to .agents#21818

Merged
ti-chi-bot[bot] merged 2 commits into
pingcap:masterfrom
qiancai:rename-the-.ai-folder-23303
Jul 17, 2026
Merged

chore: rename the .ai folder to .agents#21818
ti-chi-bot[bot] merged 2 commits into
pingcap:masterfrom
qiancai:rename-the-.ai-folder-23303

Commits

Commits on Jul 17, 2026