>> Mike Pechkin has set up a repo at bitbucket. More next week.
> Github.com is more than a repo, it's a community of developers.
Once the repo is available on bitbucket, it will be trivial to set up an
Philosophically, I favor bitbucket. Pragmatically, I favor github(R).
A mirror (with bitbucket being primary) serves both masters.
If no one on the list already knows how to set up the automatic mirror and
volunteers to do it, I'll volunteer to learn how to do it.