Skip to content

Use short names for grouped projects#4138

Open
unknown6003 wants to merge 1 commit into
pingdotgg:mainfrom
unknown6003:agent/short-project-group-labels
Open

Use short names for grouped projects#4138
unknown6003 wants to merge 1 commit into
pingdotgg:mainfrom
unknown6003:agent/short-project-group-labels

Shorten grouped project labels

a9bbbc4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Collect PR targets
succeeded Jul 18, 2026 in 5s