I think he's aware of the formal procedures from his previous involvement with GSOC and Django. The post seems more to be stating what's what, how it's probably going to happen, etc.

This would be Alex's third time at GSoC after MultiDB support and support for non-relational databases, but hugely successful.

Plus Google decides GSoC students on a per project basis and the project's core developers get the pick the students; and Alex, already is a core developer.