On 12 May 2013 21:27, Peter Stuge <pe...@stuge.se> wrote: > Rich Freeman wrote: >> > The devmanual git repository[1] moved to github[2]. >> >> The only thing that isn't FOSS is github itself. Not sure if >> others feel strongly about it. > > I feel strongly against github. > > Making something like github the primary point of contact > communicates many negative things for Gentoo IMO. > > On the technical level I think it's unneccessary and concretely > unhelpful to limit a git repo workflow to the subset that github > implements. > > I guess that Infra might also feel strongly about this. I hope Markos > discussed the move with them already and that any concerns of theirs > were understood. > > > //Peter >
Just push to two remotes, like we have been doing for the qt overlay. -- Cheers, Ben | yngwin Gentoo developer Gentoo Qt project lead, Gentoo Wiki admin