[web2py] Re: google code (mercurial) problem

[Ross Peoples]

Which one are we using as the primary repo now, is it Google Code or GitHub?