+1, without reservation. He was an immense help to me on PEP 557.
I'd like to propose Ivan Levkivskyi as a new core committer. He's (re-)written most of the typing.py module and will do so again for Python 3.7, he's the sole or primary author on several PEPs (526, 544, 560, 562), is co-author on several more (483, 561) and has been acknowledged in yet others (557, 563).
He is responsible for at least 16 commits in master.
I have worked with him for a long time on typing.py and on mypy (where he is a core dev) and I can vouch for him completely.