intrigeri wrote (24 Feb 2015 22:01:26 GMT) :
>>  3. At some point between #1 and Wednesday, February 25, noon CET:
>>     the Git repo is locked (nobody can push to it anymore); once this
>>     is done, and until we reach #5, any work you do in Git will need
>>     to be manually forward-ported to the rewritten repo later on (`git
>>     format-patch' + `git am' may help). That should allow our dear RM
>>     to get some rest :)
Done. Now, the really exciting stuff can begin.
>>  4. Thursday, February 26, noon CET: a draft rewritten Git repo is
>>     force-pushed at least to its primary online location and to one
>>     public mirror. Hopefully it doesn't need to be rewritten again
>>     later, and then you folks can start basing new work on it.
>>     No guarantee, though.
>>  5. Friday, February 27, noon CET: everything is back on tracks, and
>>     documentation is available so that you folks know what needs to be
>>     done on your side. (Note: said documentation possibly will *not*
>>     cover problems that you can be avoid by communicating your needs
>>     to us in advance, so go read <857fvbi3cy.fsf@???> now if you
>>     haven't yet.)
Cheers,
-- 
intrigeri