>>>>> On Sun, 12 May 2013, Richard Yao wrote: >> Last time I looked, github's server software wasn't open source. >> Why should we use non-free tools for a central piece of Gentoo >> documentation?
> The last that I looked, the Verilog designs and other hardware > schematics were not open source either, but we depend on them anyway. > How is github different from any other hardware? I don't care about their hardware. At least parts of their software are proprietary, though. Ulrich
