On Sat, Aug 6, 2016 at 4:55 PM, Michał Górny <mgo...@gentoo.org> wrote: > > GitHub works for us. GitHub works for our contributors. GitHub boosts > our productivity, unlike those vain discussions. We don't have time for > all this tin foil hat nonsense. >
Then just ignore it. If somebody wants to work on an alternative, nobody can stop them. Nobody is suggesting putting the github solution on hold in the interim. -- Rich