At Fri, 06 May 2016 10:44:12 +0200, Joachim Strömbergson wrote: > > Ok, so where should I create the repo if I want to commit stuff today? There's always user/joachim/mkmif. Not obvious from Paul's answer who he's expecting to create core/platform/alpha. Not obvious (to me) that this is really alpha-specific either, but maybe I'm missing something.