Repository navigation

docs: suggest a short PR opener with the long description folded - #118

Merged

MyPrototypeWhat merged 2 commits into

mainfrom

docs/pr-description-format

Nov 9, 2026

Merged

docs: suggest a short PR opener with the long description folded#118
MyPrototypeWhat merged 2 commits into
mainfrom
docs/pr-description-format

Commits on Nov 9, 2026
- docs: suggest a short PR opener with the long description folded
  dazhi
  committed
  718b380
- docs: note the blank line after </summary> and align sentence counts
  dazhi
  committed
  b2547ce