linkchecker: add a reminder on broken links to add new/renamed pages to `SUMMARY.md` for mdBooks#131737

Merged

bors merged 1 commit intorust-lang:masterfrom

jieyouxu:note-summary

Oct 21, 2024

Commits on Oct 15, 2024

linkchecker: add a reminder on broken links to add new/renamed pages to SUMMARY.md for mdBooks
jieyouxu
committed