Sure, I can drop a note.
As for python-dev not being involved, that was somewhat on purpose. I said at the beginning of this process, the switch is geared towards making things easier for core developers while not making things worse for external contributors, and so I focused on python-committers as the most affected group (bringing the whole community in would have just made the process too draining for me). And with Ezio and others planning to put the work in to make sure that non-GitHub contributions are still serviceable I think that goal has been met.