On Thu, Nov 10, 2011 at 8:35 AM, Matthieu Morel <[email protected]> wrote: > On 11/10/11 5:05 PM, Leo Neumeyer wrote: > We have the full history until the migration in github already anyway, if > needed.
I think this is an important point. You can always refer back to gh if necessary, not optimal but the information will not be lost. You might also want to archive a bare git repo and archive that somewhere... Patrick
