Mono's Git Migration

Mono's source code is being migrated to GitHub on July 22nd, starting at 9am Boston time.We are psyched that Github was kind enough to host Mono's large repositories for free on their system. We are also taking advantage of their new Organizations functionality. Gonzalo posted the following details about the migration:We are moving our source code repository to GitHub.On July 22nd ~9am EDT (1300