Hi all. I agree with Reinis: we should use the official Gentoo Wiki. It is in my opinion the most intuitive and correct place where the documentation should be hosted. Optionally, a wiki related to the hosting, such as GitHub, could be a choise for the "internal" documentation, i.e. documentation intended for the developers. But even so, I don't really see why we can not use the official Gentoo Wiki for this.
Sébastien (or any other): could you explain why GitHub would make easyer the contibutions, please? I'm really not a master of git... If there are big advantages it could maybe make sense to move the repository to GitHub. In any case I would keep using the official Wiki. The separate issue tracker can be a good thing. Just my 2 cents... Cheers Andrea Arteaga
