| 1 |
On 05/12/2013 09:15 AM, Ulrich Mueller wrote: |
| 2 |
>>>>>> On Sun, 12 May 2013, Markos Chandras wrote: |
| 3 |
> |
| 4 |
>> The devmanual git repository[1] moved to github[2]. Please update your |
| 5 |
>> local trees using the following command: |
| 6 |
> |
| 7 |
>> Developers: git remote set-url origin |
| 8 |
>> git@××××××.com:gentoo/devmanual.gentoo.org |
| 9 |
> |
| 10 |
>> Read-only: git remote set-url origin |
| 11 |
>> git://github.com/gentoo/devmanual.gentoo.org |
| 12 |
> |
| 13 |
> Earlier you said: "Just to clarify, i never said I wanted to |
| 14 |
> deprecated the git.overlays.gentoo.org repo." |
| 15 |
> |
| 16 |
> Have I missed something? Last time I looked, github's server software |
| 17 |
> wasn't open source. Why should we use non-free tools for a central |
| 18 |
> piece of Gentoo documentation? |
| 19 |
> |
| 20 |
> Ulrich |
| 21 |
> |
| 22 |
>> [1] http://git.overlays.gentoo.org/gitweb/?p=proj/devmanual.git;a=summary |
| 23 |
>> [2] https://github.com/gentoo/devmanual.gentoo.org |
| 24 |
> |
| 25 |
|
| 26 |
The last that I looked, the Verilog designs and other hardware |
| 27 |
schematics were not open source either, but we depend on them anyway. |
| 28 |
|
| 29 |
How is github different from any other hardware? |
Archives