2 Oct
2012
2 Oct
'12
7:05 a.m.
I agree. It's a bit painful but I think it's worth it. Brian On Oct 2, 2012 8:03 AM, "Emmanuelle Gouillart" < emmanuelle.gouillart@nsup.org> wrote:
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