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 8F97C1381F3 for ; Sun, 12 May 2013 13:15:27 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 91E0EE09B4; Sun, 12 May 2013 13:15:24 +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 85687E099D for ; Sun, 12 May 2013 13:15:22 +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 r4CDFEBs001448; Sun, 12 May 2013 15:15:15 +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 r4CDFEcb017687; Sun, 12 May 2013 15:15:14 +0200 Received: (from ulm@localhost) by a1i15.kph.uni-mainz.de (8.14.6/8.14.6/Submit) id r4CDFDj8017683; Sun, 12 May 2013 15:15:13 +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.38369.270576.25249@a1i15.kph.uni-mainz.de> Date: Sun, 12 May 2013 15:15:13 +0200 To: gentoo-dev@lists.gentoo.org Cc: devmanual@gentoo.org Subject: [gentoo-dev] Re: devmanual moved to github In-Reply-To: <518F7DE2.70703@gentoo.org> References: <518F7DE2.70703@gentoo.org> X-Mailer: VM 8.2.0b under 24.3.1 (x86_64-pc-linux-gnu) From: Ulrich Mueller X-Archives-Salt: 30219452-d8e0-4746-9ab8-c6b07347f9bb X-Archives-Hash: 8a4c4d0531103e675989c052d94e0e80 >>>>> On Sun, 12 May 2013, Markos Chandras wrote: > The devmanual git repository[1] moved to github[2]. Please update your > local trees using the following command: > Developers: git remote set-url origin > git@github.com:gentoo/devmanual.gentoo.org > Read-only: git remote set-url origin > git://github.com/gentoo/devmanual.gentoo.org Earlier you said: "Just to clarify, i never said I wanted to deprecated the git.overlays.gentoo.org repo." Have I missed something? 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? Ulrich > [1] http://git.overlays.gentoo.org/gitweb/?p=proj/devmanual.git;a=summary > [2] https://github.com/gentoo/devmanual.gentoo.org