Re: [boost] Boostorg wiki (Was: Re: Ignoring unused type aliases in concepts)

On 2018-12-17 4:02 p.m., Rene Rivera via Boost wrote:

On Mon, Dec 17, 2018 at 2:57 PM Peter Dimov via Boost wrote:

...

Since it's not possible to grant git push access to the wiki alone, perhaps we should create a separate repository for the new wiki instead of using the superproject one?

How does boostorg/wiki sound?

That sounds fine.. Except for using the wiki functionality in that repo. If you are going to create a new repo, might as well make a github pages project so get better looking docs.

No, no, no, please no ! :-) gh-pages are certainly nice, in particular as part of a CI-driven pipeline to keep online docs in sync with the code. But they are no substitute for a wiki, for many different reasons. Let's not (again !) make 'perfect' the enemy of 'good'. Stefan -- ...ich hab' noch einen Koffer in Berlin...