Hi,
Given the consensus around this decision, I have now switched our main repository to the one on GitHub. Pushes should now be made there. Email and IRC commit notifications will now be sent by GitHub.
Once you have created your account on GitHub, don't forget to "Star" the repository, so that it appears on your favourite list and so that the repository appears to be popular.
Concerning tickets/issues, I think we should open new ones on GitHub. You will probably want to click the "Watch" button on GitHub, in order to receive notifications about issues. I will gradually migrate older tickets from Trac to GitHub.
The repository on Kirikou will continue to live (in read-only mode), and will be automatically synchronized once a day.
For the time being, only Michel, Stéphane, Houtan and myself have push access to the GitHub repository (as it used to be on Kirikou). For the other people, the preferred mechanism to contribute commits to Dynare is now to use "Pull requests" on GitHub, after having created your own "Fork"; there is documentation on github.com on how to do that, but don't hesitate to email me if you have problems. Also, the old mechanism (with a personal space on Kirikou) will continue to work for now, so that you have the necessary time to adapt for the change.
Once the dust settles, I will send a message on our larger mailing list and forums to announce the change, and to encourage people to submit pull requests if they have something to contribute.