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 >> [email protected]: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?
signature.asc
Description: OpenPGP digital signature
