Hi Bertrand, On Thu, 11 Jan 2018 at 14:13 Bertrand Delacretaz <bdelacre...@apache.org> wrote:
> https://gitbox.apache.org/ implements appropriate mirroring for GitHub > repositories, so using those is fine - but I don't think GitHub wikis > are mirrored, and if they're not using them for core documentation is > not ok. > > The suggestion was made with the assumption that mirroring was a requirement. A GitHub wiki is a repository like any other, just with a useful UI on top - it's no more reliant on their infrastructure than we already are for PRs, code reviews, CI, etc. Quite a few projects under Apache have the wiki enabled (not sure on the mirroring situation). We could test mirroring before going further? This also isn't about "core" documentation, but just the wiki - I would presume some / a lot of this information will migrate into the main documentation at some point. It was just about getting it ported and re-hosted quickly so that it can be useful / have eyes on it / get updated at the same time. Given how well Antonio's conversion process looks already, it just seems the logical thing to do, at least in the short term, while we work out the best way to handle the various types of documentation. Best wishes, Neil -- Neil C Smith Artist & Technologist www.neilcsmith.net Praxis LIVE - hybrid visual IDE for creative coding - www.praxislive.org
