chore: use markdown to display github comments truncation header#4885

Merged

chenrui333 merged 3 commits intorunatlantis:mainfrom benoittoulme:markdown-truncation-header

Sep 12, 2024

Commits on Aug 30, 2024

Use markdown to display github comments truncation header
benoittoulme
committed

Commits on Sep 3, 2024

Merge branch 'main' into markdown-truncation-header
benoittoulme
authored

Commits on Sep 5, 2024

Merge branch 'main' into markdown-truncation-header
chenrui333
authored