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