From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id 9225D1381F3 for ; Sun, 12 May 2013 15:38:38 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 09B07E0A7F; Sun, 12 May 2013 15:38:22 +0000 (UTC) Received: from a1www.kph.uni-mainz.de (a1www.kph.uni-mainz.de [134.93.134.1]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 9F177E0A5B for ; Sun, 12 May 2013 15:38:18 +0000 (UTC) Received: from a1i15.kph.uni-mainz.de (a1i15.kph.uni-mainz.de [134.93.134.92]) by a1www.kph.uni-mainz.de (8.14.4/8.13.4) with ESMTP id r4CFcGhj013086 for ; Sun, 12 May 2013 17:38:16 +0200 Received: from a1i15.kph.uni-mainz.de (localhost [127.0.0.1]) by a1i15.kph.uni-mainz.de (8.14.6/8.14.2) with ESMTP id r4CFcG9T019273; Sun, 12 May 2013 17:38:16 +0200 Received: (from ulm@localhost) by a1i15.kph.uni-mainz.de (8.14.6/8.14.6/Submit) id r4CFcGqj019271; Sun, 12 May 2013 17:38:16 +0200 Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@lists.gentoo.org Reply-to: gentoo-dev@lists.gentoo.org MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <20879.46952.659475.436232@a1i15.kph.uni-mainz.de> Date: Sun, 12 May 2013 17:38:16 +0200 To: gentoo-dev@lists.gentoo.org Subject: Re: [gentoo-dev] Re: devmanual moved to github In-Reply-To: <518FB181.1090200@gentoo.org> References: <518F7DE2.70703@gentoo.org> <20879.38369.270576.25249@a1i15.kph.uni-mainz.de> <518FB181.1090200@gentoo.org> X-Mailer: VM 8.2.0b under 24.3.1 (x86_64-pc-linux-gnu) From: Ulrich Mueller X-Archives-Salt: 941e96ee-86c9-4fb6-bc55-ae8805f4c574 X-Archives-Hash: 68c7cdfae30e6d673162e1f4effa3282 >>>>> 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