Sounds good. We can move the wiki pages content into same git repo and maybe just keep index with links in wiki.
On Mon, Apr 9, 2018 at 1:35 AM Ivan Kelly <[email protected]> wrote: > > It will keep the discussion public, convenient, archived, maintain > history, > > and will be mailed out (with github notifications). > > > > What do you all say? > > +1 for this. This is how BK does it, and I've found it much easier to use. > > -Ivan > -- Matteo Merli <[email protected]>
