Merge pull request #1758 from joosomi/fix/pr-description-type-header

fix: avoid duplicate header for list types to prevent markdown break
This commit is contained in:
Tal 2025-05-11 11:06:42 +03:00 committed by GitHub
commit 850583acb4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -507,10 +507,10 @@ class PRDescription:
ai_type = self.data.get('type')
if ai_type and not re.search(r'<!--\s*pr_agent:type\s*-->', body):
if isinstance(ai_type, list):
pr_types = [f"{ai_header}{t}" for t in ai_type]
pr_type = ','.join(pr_types)
pr_type = ', '.join(str(t) for t in ai_type)
else:
pr_type = f"{ai_header}{ai_type}"
pr_type = ai_type
pr_type = f"{ai_header}{pr_type}"
body = body.replace('pr_agent:type', pr_type)
ai_summary = self.data.get('description')