Hi,
I have create a Dynare repository on GitHub:
https://github.com/DynareTeam/dynare
As you may know, GitHub has become the most popular platform for collaborative development of free software. It is user friendly and makes contributions very easy via a “Pull request” mechanism. It is also possible to add comments to specific commits (before or after they are merged), so reviewing is made easy.
Do you think it would be a good decision to decide that the main Dynare repository is the GitHub one?
On the upside, I think this could attract new contributors by lowering the barrier to entry. On the downside, it means that we lose control of our hosting architecture (though we would maintain a mirror on Kirikou at the address where the main repository currently is).
We could also move the Trac tickets to the GitHub “issues” system. There is also a Wiki on GitHub, but I think we should rather keep our existing wiki.
Stéphane and Michel: I have already granted you push/pull access to the repository, using your respective GitHub accounts (stepan-a, MichelJuillard).
Waiting for your feedback,