>>>>> 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
