[docs] Explain ignoring unused-ignore more explicitly#19901

wyattscarpenter wants to merge 1 commit into

python:masterpython/mypy:masterfrom

wyattscarpenter:igigwyattscarpenter/mypy:igigCopy head branch name to clipboard