On 05/12/2013 09:15 AM, Ulrich Mueller wrote:
>>>>>> 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
> 

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?