Hi,

Would Is it easier to make progress if we remove github from the equation for 
now and revisit? (And just keep the githib mirror as we do now) The vote if I 
recall was to use git not github.

Thanks,
Justin

Reply via email to