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
