mypy

bb934e9a - Add script for cherry-picking commits from typeshed (#11737)