On Sun, Jan 5, 2014 at 12:05 PM, gatesphere <[email protected]> wrote:
> To help with this process, I've renamed the current github leo-editor repo > to leo-editor-mirror, so that the true repo can now occupy leo-editor, when > it is created. I've also updated all the scripting and ReadTheDocs > settings to reflect this. > > Once the migration to git is complete, I'll remove the leo-editor-mirror > and make ReadTheDocs read from the true leo-editor repo. > Thanks. Sounds like a good plan. > > Matt, I saw the leo-cvs-2002-2006 repo -- are you going to do different > repos for different points in Leo's history? If so, we could probably get > the leo-editor repo with just bzr's history up and running fairly quickly, > and then backtrack to fill out the historically interesting repos... Just > a thought. > Imo, the historical repos are, at best, curiosities. There is no need to preserve them. EKR -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
