I built this! I was thinking of approaching GitHub bot comments as *UI*, and had to stretch the limits of markdown. Hope this sets an example of rich bot comments.
Reposted from
Socket
🚀 We just rolled out a brand new design for our GitHub PR comments!
Here’s what’s new:
📦 Each direct dependency, clearly listed
📊 Score changes at a glance (security, quality, etc.)
⚠️ Blocking + warning alerts, right in the PR
More Details → socket.dev/blog/github-...
Here’s what’s new:
📦 Each direct dependency, clearly listed
📊 Score changes at a glance (security, quality, etc.)
⚠️ Blocking + warning alerts, right in the PR
More Details → socket.dev/blog/github-...
Comments
You can even make text colorful in GitHub markdown if you wrap it in LaTeX and use colors from LaTeX