+1 from my side as well. Andrews.
On Mon, Apr 9, 2018 at 9:55 AM, Matteo Merli <[email protected]> wrote: > 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]>
