Hide your slop PR descriptions behind <details><summary>

Using HTML's <details> and <summary> tags to hide messy PR descriptions.

Hacker News submitter: acossta

Submitted to Hacker News: 2026-11-09

Original source Hacker News discussion