[gentoo-dev] Re: devmanual moved to github

[Ulrich Mueller]

>>>>> 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@××××××.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