>>>>> On Sun, 12 May 2013, Markos Chandras wrote:

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

> The repository is still accessible in http://git.overlays.gentoo.org
> and read-only access is still available.

In what way is removing write access different from deprecating the
repository?

> However, the write access removed because of potential conflicts
> between g.o.g.o and github. If you can guarantee me that people will
> not mess things up and not commit only to one of the to remotes,
> then we can enable write access again.

I for my part won't push anything to a devmanual repo hosted at
github. As this presumably means that I won't be able to contribute
any more, I've now removed myself from the devmanual mail alias.

Ulrich

Reply via email to