I agree. It's a bit painful but I think it's worth it.
Brian
On Mon, Oct 01, 2012 at 11:53:25PM -0700, Stéfan van der Walt wrote:
> On Mon, Oct 1, 2012 at 11:09 PM, Schönberger Johannes
> <hannesschoenberger@gmail.com> wrote:
> > What problems do we get, if we also rename the repos - apart from slightly adapting our forks?
> Everyone needs to update their forks, we need to go through the docs
> carefully and make replacements, the website needs to be updated, the
> Google+ page, etc. Nothing impossible, just a hassle. But let's do
> this one more time, if the rest of the core team agrees.
+1