Hi, We have recently started adopting the name "Gentoo Repository" in devmanual and got rid of the references to "Portage tree". Can we change the reference to "Gentoo Portage tree" on gitweb to avoid any confusion? Thanks
Done: - gitweb static header - gitolite for main stuff (some developer overlays still use old naming) - rsync module descriptions
I think "Gentoo ebuild repository" sounds much better. There's many repositories on gitweb.g.o...this is _specifically_ the (main) ebuild repository.
I think 'Gentoo Repository' has the meaning implicitly. For many of the users, Gentoo Repository will mean the main ebuild repository since they're unlikely to be familiar with the other repos. It's probably less accurate than 'Gentoo Ebuild Repository' but it's also shorter.