Use short names for grouped projects#4138

unknown6003 wants to merge 1 commit into

pingdotgg:mainpingdotgg/t3code:mainfrom

unknown6003:agent/short-project-group-labelsunknown6003/t3code:agent/short-project-group-labelsCopy head branch name to clipboard