[pull] main from github:main#12

Merged

pull[bot] merged 2 commits into

festion:mainfrom

Jul 18, 2025

Commits on Jul 18, 2025

Reorganize README, add dedicated install guides, include policies and governance info for the github server (#695)

D1M1TR10S
and
tonytrg
authored
fix: shorten long tool name for adding pr review comments (#697)
LuluBeatson
authored