On 14/12/10 01:57, Benjamin Peterson wrote: > What will be happening to the other repos? ie. extradoc it's open to discussion, but I suppose that it's fine to migrate them as well. However, there is no hurry on this, we can do it one by one. ciao, Anto